Searched refs:tertiary_exec_control (Results 1 – 1 of 1) sorted by relevance
6238 u64 tertiary_exec_control; in dump_vmcs() local6259 tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL); in dump_vmcs()6261 tertiary_exec_control = 0; in dump_vmcs()6362 cpu_based_exec_ctrl, secondary_exec_control, tertiary_exec_control); in dump_vmcs()