Searched defs:pin_based_exec_ctrl (Results 1 – 2 of 2) sorted by relevance
60 u32 pin_based_exec_ctrl; member
4387 u32 pin_based_exec_ctrl = vmcs_config.pin_based_exec_ctrl; in vmx_pin_based_exec_ctrl() local6244 u32 cpu_based_exec_ctrl, pin_based_exec_ctrl, secondary_exec_control; in dump_vmcs() local