Searched refs:VMCS_GUEST_SMBASE (Results 1 – 2 of 2) sorted by relevance
1352 #define VMCS_GUEST_SMBASE 0x4828 macro
7317 vmx_dump_vmcs_field(VMCS_GUEST_SMBASE, "G. SMBASE"); in vmx_dump_vmcs()