Searched defs:cpu_based_exec_ctrl (Results 1 – 1 of 1) sorted by relevance
917 u32 cpu_based_exec_ctrl; member7935 u32 cpu_based_exec_ctrl = vmcs_read32(CPU_BASED_VM_EXEC_CONTROL); in dump_vmcs() local