Searched refs:pte_gva1 (Results 1 – 1 of 1) sorted by relevance
136 static void swap_two_test_pages(gpa_t pte_gva1, gpa_t pte_gva2) in swap_two_test_pages() argument138 u64 tmp = *(u64 *)pte_gva1; in swap_two_test_pages()140 *(u64 *)pte_gva1 = *(u64 *)pte_gva2; in swap_two_test_pages()