Home
last modified time | relevance | path

Searched refs:GUEST_BNDCFGS (Results 1 – 3 of 3) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h430 GUEST_BNDCFGS = 0x00002812, enumerator
/xen/xen/arch/x86/hvm/vmx/
A Dvmcs.c1319 __vmwrite(GUEST_BNDCFGS, 0); in construct_vmcs()
2024 vmr(GUEST_PERF_GLOBAL_CTRL), vmr(GUEST_BNDCFGS)); in vmcs_dump_vcpu()
A Dvmx.c1164 __vmwrite(GUEST_BNDCFGS, val); in vmx_set_guest_bndcfgs()
1175 __vmread(GUEST_BNDCFGS, val); in vmx_get_guest_bndcfgs()

Completed in 16 milliseconds