Searched refs:_pin_based_exec_control (Results 1 – 1 of 1) sorted by relevance
3131 u32 _pin_based_exec_control = 0; in setup_vmcs_config() local3221 &_pin_based_exec_control) < 0) in setup_vmcs_config()3227 _pin_based_exec_control &= ~PIN_BASED_POSTED_INTR; in setup_vmcs_config()3255 vmcs_conf->pin_based_exec_ctrl = _pin_based_exec_control; in setup_vmcs_config()