Searched defs:pin_based_exec_ctrl (Results 1 – 1 of 1) sorted by relevance
4623 u32 pin_based_exec_ctrl = vmcs_config.pin_based_exec_ctrl; in vmx_pin_based_exec_ctrl() local6580 u32 cpu_based_exec_ctrl, pin_based_exec_ctrl, secondary_exec_control; in dump_vmcs() local