Searched refs:tertiary_exec_control (Results 1 – 1 of 1) sorted by relevance
6412 u64 tertiary_exec_control; in dump_vmcs() local6433 tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL); in dump_vmcs()6435 tertiary_exec_control = 0; in dump_vmcs()6544 cpu_based_exec_ctrl, secondary_exec_control, tertiary_exec_control); in dump_vmcs()