Searched defs:pte_num (Results 1 – 2 of 2) sorted by relevance
159 int domid, pte_num, rc = 0; in dump_ptes_func() local267 int domid, pte_num; in lookup_pte_func() local
272 int pte_num, rc; in change_pte() local
Completed in 4 milliseconds