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