Branch data     Line data    Source code

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