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