Searched refs:VMCS_PROCBASED2_CTLS (Results 1 – 2 of 2) sorted by relevance
1317 #define VMCS_PROCBASED2_CTLS 0x401E macro
2116 if (vmwrite(VMCS_PROCBASED2_CTLS, procbased2)) { in vcpu_reset_regs_vmx()7249 vmx_dump_vmcs_field(VMCS_PROCBASED2_CTLS, "2ndary Ctrls"); in vmx_dump_vmcs()