Searched refs:pte_gva1 (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() argument140 uint64_t tmp = *(uint64_t *)pte_gva1; in swap_two_test_pages()142 *(uint64_t *)pte_gva1 = *(uint64_t *)pte_gva2; in swap_two_test_pages()