Searched refs:pte_gva2 (Results 1 – 1 of 1) sorted by relevance
136 static void swap_two_test_pages(vm_paddr_t pte_gva1, vm_paddr_t pte_gva2) in swap_two_test_pages() argument140 *(uint64_t *)pte_gva1 = *(uint64_t *)pte_gva2; in swap_two_test_pages()141 *(uint64_t *)pte_gva2 = tmp; in swap_two_test_pages()