VMCS_PIN_BASED_CTLS
error = vm_get_vmcs_field(vcpu, VMCS_PIN_BASED_CTLS, &ctl);
vmcs_write(VMCS_PIN_BASED_CTLS, pin_ctls);