Searched refs:hpage_1 (Results 1 – 1 of 1) sorted by relevance
52 uint64_t hpage_1 = HPAGE_GVA; in guest_code() local53 uint64_t hpage_2 = hpage_1 + (PAGE_SIZE * 512); in guest_code()56 READ_ONCE(*(uint64_t *)hpage_1); in guest_code()62 guest_do_CALL(hpage_1); in guest_code()68 READ_ONCE(*(uint64_t *)hpage_1); in guest_code()