kvm_machine_check 6208 arch/x86/kvm/vmx/vmx.c 		kvm_machine_check();
kvm_machine_check 6628 arch/x86/kvm/vmx/vmx.c 		kvm_machine_check();