Searched refs:pinbased_ctls (Results 1 – 1 of 1) sorted by relevance
131 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable724 PINBASED_CTLS_ZERO_SETTING, &pinbased_ctls); in vmx_init()892 pinbased_ctls |= PINBASED_POSTED_INTERRUPT; in vmx_init()1127 error += vmwrite(VMCS_PIN_BASED_CTLS, pinbased_ctls); in vmx_vminit()