Searched refs:secondary_exec_control (Results 1 – 1 of 1) sorted by relevance
7937 u32 secondary_exec_control = 0; in dump_vmcs() local7943 secondary_exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL); in dump_vmcs()7952 if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT) && in dump_vmcs()7992 if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) in dump_vmcs()8025 pin_based_exec_ctrl, cpu_based_exec_ctrl, secondary_exec_control); in dump_vmcs()8045 if (secondary_exec_control & SECONDARY_EXEC_TSC_SCALING) in dump_vmcs()8052 if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT)) in dump_vmcs()8062 if (secondary_exec_control & SECONDARY_EXEC_PAUSE_LOOP_EXITING) in dump_vmcs()8065 if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID) in dump_vmcs()