| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * This is included by init/main.c to check for architecture-dependent bugs. |
| * |
| * Copyright (C) 2007 Maciej W. Rozycki |
| * |
| * Needs: |
| * void check_bugs(void); |
| */ |
| #ifndef _ASM_BUGS_H |
| #define _ASM_BUGS_H |
| |
| #include <linux/bug.h> |
| #include <linux/delay.h> |
| #include <linux/smp.h> |
| |
| #include <asm/cpu.h> |
| #include <asm/cpu-info.h> |
| |
| extern int daddiu_bug; |
| |
| extern void check_bugs64_early(void); |
| |
| extern void check_bugs32(void); |
| extern void check_bugs64(void); |
| |
| static inline void check_bugs_early(void) |
| { |
| #ifdef CONFIG_64BIT |
| check_bugs64_early(); |
| #endif |
| } |
| |
| static inline void check_bugs(void) |
| { |
| unsigned int cpu = smp_processor_id(); |
| |
| cpu_data[cpu].udelay_val = loops_per_jiffy; |
| check_bugs32(); |
| #ifdef CONFIG_64BIT |
| check_bugs64(); |
| #endif |
| } |
| |
| static inline int r4k_daddiu_bug(void) |
| { |
| #ifdef CONFIG_64BIT |
| WARN_ON(daddiu_bug < 0); |
| return daddiu_bug != 0; |
| #else |
| return 0; |
| #endif |
| } |
| |
| #endif /* _ASM_BUGS_H */ |