// SPDX-License-Identifier: GPL-2.0#include <linux/init.h>#include <linux/cpu.h>#include <asm/bugs.h>#include <asm/proc-fns.h> void check_other_bugs(void){#ifdef MULTI_CPU	if (cpu_check_bugs)		cpu_check_bugs();#endif} void __init arch_cpu_finalize_init(void){	check_writebuffer_bugs();	check_other_bugs();}