Lines Matching refs:secondary_exec_control
6228 u32 cpu_based_exec_ctrl, pin_based_exec_ctrl, secondary_exec_control; in dump_vmcs() local
6245 secondary_exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL); in dump_vmcs()
6247 secondary_exec_control = 0; in dump_vmcs()
6312 if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) in dump_vmcs()
6353 cpu_based_exec_ctrl, secondary_exec_control, tertiary_exec_control); in dump_vmcs()
6374 if (secondary_exec_control & SECONDARY_EXEC_TSC_SCALING) in dump_vmcs()
6378 if (secondary_exec_control & SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY) { in dump_vmcs()
6383 if (secondary_exec_control & SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES) in dump_vmcs()
6389 if ((secondary_exec_control & SECONDARY_EXEC_ENABLE_EPT)) in dump_vmcs()
6391 if (secondary_exec_control & SECONDARY_EXEC_PAUSE_LOOP_EXITING) in dump_vmcs()
6394 if (secondary_exec_control & SECONDARY_EXEC_ENABLE_VPID) in dump_vmcs()