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                 :       1212 : void check_other_bugs(void)
       7                 :            : {
       8                 :            : #ifdef MULTI_CPU
       9   [ +  -  +  - ]:       1616 :         if (cpu_check_bugs)
      10                 :       1616 :                 cpu_check_bugs();
      11                 :            : #endif
      12                 :       1212 : }
      13                 :            : 
      14                 :        404 : void __init check_bugs(void)
      15                 :            : {
      16                 :        404 :         check_writebuffer_bugs();
      17                 :            :         check_other_bugs();
      18                 :        404 : }