Searched refs:VMCS_GUEST_PHYSICAL_ADDRESS (Results 1 – 2 of 2) sorted by relevance
103 #define vmcs_gpa() vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)162 #define VMCS_GUEST_PHYSICAL_ADDRESS 0x00002400 macro
640 vmcs_read(VMCS_GUEST_PHYSICAL_ADDRESS)); in DB_SHOW_COMMAND()