Searched refs:high_gpa (Results 1 – 1 of 1) sorted by relevance
42 static void l1_guest_code(struct vmx_pages *vmx_pages, unsigned long high_gpa) in l1_guest_code() argument67 vmwrite(APIC_ACCESS_ADDR, high_gpa); in l1_guest_code()83 unsigned long high_gpa; in main() local93 high_gpa = (1ul << paddr_width) - getpagesize(); in main()94 if ((unsigned long)DEFAULT_GUEST_PHY_PAGES * getpagesize() > high_gpa) { in main()101 vcpu_args_set(vm, VCPU_ID, 2, vmx_pages_gva, high_gpa); in main()108 if (apic_access_addr == high_gpa) { in main()