// 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();
}