Searched refs:pin_ctls (Results 1 – 1 of 1) sorted by relevance
700 uint32_t proc_ctls, proc2_ctls, pin_ctls; in vmx_vminit() local727 pin_ctls = pinbased_ctls; in vmx_vminit()760 pin_ctls |= PINBASED_POSTED_INTERRUPT; in vmx_vminit()831 vmcs_write(VMCS_PIN_BASED_CTLS, pin_ctls); in vmx_vminit()