Searched refs:VMCS_GUEST_PHYSICAL_ADDRESS (Results 1 – 4 of 4) sorted by relevance
113 #define VMCS_GUEST_PHYSICAL_ADDRESS 0x00002400 macro
2502 gpa = vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS); in vmx_exit_process()
776 #define VMCS_GUEST_PHYSICAL_ADDRESS 0x00002400 macro810 VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS), in vmexit_vmx()
985 VMCS_GUEST_PHYSICAL_ADDRESS, &u64); in get_misc_vmcs()