Searched refs:tertiary_exec_control (Results 1 – 1 of 1) sorted by relevance
6247 u64 tertiary_exec_control; in dump_vmcs() local6268 tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL); in dump_vmcs()6270 tertiary_exec_control = 0; in dump_vmcs()6371 cpu_based_exec_ctrl, secondary_exec_control, tertiary_exec_control); in dump_vmcs()