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