1// SPDX-License-Identifier: GPL-2.0
2#include <linux/init.h>
3#include <linux/cpu.h>
4#include <asm/bugs.h>
5#include <asm/proc-fns.h>
6
7void check_other_bugs(void)
8{
9#ifdef MULTI_CPU
10 if (cpu_check_bugs)
11 cpu_check_bugs();
12#endif
13}
14
15void __init arch_cpu_finalize_init(void)
16{
17 check_writebuffer_bugs();
18 check_other_bugs();
19}
20

source code of linux/arch/arm/kernel/bugs.c