machine_check    1023 arch/x86/kernel/entry_32.S ENTRY(machine_check)
machine_check    1344 arch/x86/kernel/entry_64.S ENTRY(machine_check)