Searched refs:VMCS_PINBASED_CTLS (Results 1 – 2 of 2) sorted by relevance
1302 #define VMCS_PINBASED_CTLS 0x4000 macro
2012 if (vmwrite(VMCS_PINBASED_CTLS, pinbased)) { in vcpu_reset_regs_vmx()7219 vmx_dump_vmcs_field(VMCS_PINBASED_CTLS, "Pinbased Ctrls"); in vmx_dump_vmcs()