Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h1381 #define VMCS_GUEST_IA32_ES_BASE 0x6806 macro
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c207 VMCS_GUEST_IA32_ES_AR, VMCS_GUEST_IA32_ES_BASE },
7372 vmx_dump_vmcs_field(VMCS_GUEST_IA32_ES_BASE, "G. ES Base"); in vmx_dump_vmcs()
7572 if (vmread(VMCS_GUEST_IA32_ES_BASE, &r)) in vmx_vcpu_dump_regs()