VMXERR_VMRESUME_NONLAUNCHED_VMCS  575 arch/x86/include/asm/vmx.h 	{ VMXERR_VMRESUME_NONLAUNCHED_VMCS,		"VMRESUME_NONLAUNCHED_VMCS" }, \
VMXERR_VMRESUME_NONLAUNCHED_VMCS 3248 arch/x86/kvm/vmx/nested.c 			       : VMXERR_VMRESUME_NONLAUNCHED_VMCS);