Searched refs:VMCS_GUEST_PHYSICAL_ADDRESS (Results 1 – 4 of 4) sorted by relevance
101 #define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)160 #define VMCS_GUEST_PHYSICAL_ADDRESS 0x00002400 macro
639 vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)); in DB_SHOW_COMMAND()
229 #define VMCS_GUEST_PHYSICAL_ADDRESS 0x00002400 macro256 VMCS_IDENT(VMCS_GUEST_PHYSICAL_ADDRESS), in vmexit_vmx()
920 VMCS_GUEST_PHYSICAL_ADDRESS, &u64); in get_misc_vmcs()