Home
last modified time | relevance | path

Searched refs:VMX_GUEST_IDTR_BASE (Results 1 – 5 of 5) sorted by relevance

/hypervisor/arch/x86/guest/
A Dtrusty.c142 ext_ctx->idtr.base = exec_vmread(VMX_GUEST_IDTR_BASE); in save_world_ctx()
195 exec_vmwrite(VMX_GUEST_IDTR_BASE, ext_ctx->idtr.base); in load_world_ctx()
A Dvmcs.c40 exec_vmwrite(VMX_GUEST_IDTR_BASE, ectx->idtr.base); in init_guest_vmx()
A Dnested.c369 VMX_GUEST_IDTR_BASE,
A Dinstr_emul.c328 desc->base_field = VMX_GUEST_IDTR_BASE; in encode_vmcs_seg_desc()
/hypervisor/include/arch/x86/asm/
A Dvmx.h196 #define VMX_GUEST_IDTR_BASE 0x00006818U macro

Completed in 13 milliseconds