VMCS_PROCBASED_CTLS
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
if (vmread(VMCS_PROCBASED_CTLS, &procbased)) {
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
if (vmread(VMCS_PROCBASED_CTLS, &procbased)) {
if (vmwrite(VMCS_PROCBASED_CTLS, procbased)) {
vmx_dump_vmcs_field(VMCS_PROCBASED_CTLS, "Procbased Ctrls");