Home
last modified time | relevance | path

Searched refs:VMCS_HOST_IA32_GDTR_BASE (Results 1 – 2 of 2) sorted by relevance

/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h1407 #define VMCS_HOST_IA32_GDTR_BASE 0x6C0C macro
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c3700 if (vmwrite(VMCS_HOST_IA32_GDTR_BASE, gdt.rd_base)) { in vcpu_run_vmx()
3702 __func__, VMCS_HOST_IA32_GDTR_BASE, in vcpu_run_vmx()
7418 vmx_dump_vmcs_field(VMCS_HOST_IA32_GDTR_BASE, "H. GDTR Base"); in vmx_dump_vmcs()