VM_INSTRUCTION_ERROR  420 arch/x86/kvm/vmx.c 	       field, value, vmcs_read32(VM_INSTRUCTION_ERROR));
VM_INSTRUCTION_ERROR 2751 arch/x86/kvm/vmx.c 			= vmcs_read32(VM_INSTRUCTION_ERROR);