Lines Matching refs:secondary_exec_control
4275 vmx->secondary_exec_control = exec_control; in vmx_compute_secondary_exec_control()
4310 secondary_exec_controls_set(vmx, vmx->secondary_exec_control); in init_vmcs()
5780 u32 cpu_based_exec_ctrl, pin_based_exec_ctrl, secondary_exec_control; in dump_vmcs() local
5795 secondary_exec_control = 0; in dump_vmcs()
5797 secondary_exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL); in dump_vmcs()
5806 if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT) && in dump_vmcs()
5847 if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) in dump_vmcs()
5882 pin_based_exec_ctrl, cpu_based_exec_ctrl, secondary_exec_control); in dump_vmcs()
5902 if (secondary_exec_control & SECONDARY_EXEC_TSC_SCALING) in dump_vmcs()
5906 if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) { in dump_vmcs()
5911 if (secondary_exec_control & SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES) in dump_vmcs()
5917 if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT)) in dump_vmcs()
5919 if (secondary_exec_control & SECONDARY_EXEC_PAUSE_LOOP_EXITING) in dump_vmcs()
5922 if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID) in dump_vmcs()
7086 u32 new_ctl = vmx->secondary_exec_control; in vmcs_set_secondary_exec_control()