linux/arch/x86/kernel/acpi/apei.c

// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Arch-specific APEI-related functions.
 */

#include <acpi/apei.h>

#include <asm/mce.h>
#include <asm/tlbflush.h>

int arch_apei_enable_cmcff(struct acpi_hest_header *hest_hdr, void *data)
{ … }

void arch_apei_report_mem_error(int sev, struct cper_sec_mem_err *mem_err)
{ … }

int arch_apei_report_x86_error(struct cper_ia_proc_ctx *ctx_info, u64 lapic_id)
{ … }