Searched refs:pte_num (Results 1 – 2 of 2) sorted by relevance
156 int domid, pte_num, rc = 0; in dump_ptes_func() local216 pte_num = PAGE_SIZE / 8; in dump_ptes_func()218 printf(" --- Dumping %d PTEs for domain %d ---\n", pte_num, domid); in dump_ptes_func()244 for ( i = 0; i < pte_num; i++ ) in dump_ptes_func()264 int domid, pte_num; in lookup_pte_func() local290 pte_num = PAGE_SIZE / 8; in lookup_pte_func()307 for ( j = 0; j < pte_num; j++ ) in lookup_pte_func()
272 int pte_num, rc; in change_pte() local276 pte_num = PAGE_SIZE / ((minfo->pt_levels == 2) ? 4 : 8); in change_pte()297 for (j = 0; j < pte_num; j++) in change_pte()
Completed in 5 milliseconds