Searched defs:num_pages_dir (Results 1 – 1 of 1) sorted by relevance
338 int i, num_pages_dir; in backend_fill_page_dir() local364 int cur_gref, grefs_left, to_copy, i, num_pages_dir; in guest_fill_page_dir() local436 int otherend_id, num_pages_dir; in grant_references() local
