Searched refs:vmentry_ctl (Results 1 – 1 of 1) sorted by relevance
6480 u32 vmentry_ctl, vmexit_ctl; in dump_vmcs() local6491 vmentry_ctl = vmcs_read32(VM_ENTRY_CONTROLS); in dump_vmcs()6540 if (vmentry_ctl & VM_ENTRY_LOAD_IA32_EFER) in dump_vmcs()6545 else if (vmentry_ctl & VM_ENTRY_IA32E_MODE) in dump_vmcs()6551 if (vmentry_ctl & VM_ENTRY_LOAD_IA32_PAT) in dump_vmcs()6557 vmentry_ctl & VM_ENTRY_LOAD_IA32_PERF_GLOBAL_CTRL) in dump_vmcs()6560 if (vmentry_ctl & VM_ENTRY_LOAD_BNDCFGS) in dump_vmcs()6573 if (vmentry_ctl & VM_ENTRY_LOAD_CET_STATE) in dump_vmcs()6616 pin_based_exec_ctrl, vmentry_ctl, vmexit_ctl); in dump_vmcs()