Searched defs:vmentry_ctl (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/hvm/vmx/
A D	vmcs.c	1061 u32 vmentry_ctl = vmx_vmentry_control; in construct_vmcs() local 1956 uint32_t vmentry_ctl, vmexit_ctl; in vmcs_dump_vcpu() local

Completed in 7 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025