1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2007 Maciej W. Rozycki
12 #include <asm/cpu-info.h>
14 extern int daddiu_bug;
16 extern void check_bugs64_early(void);
18 extern void check_bugs32(void);
19 extern void check_bugs64(void);
21 static inline void check_bugs_early(void)
28 static inline int r4k_daddiu_bug(void)
31 WARN_ON(daddiu_bug < 0);
32 return daddiu_bug != 0;
38 #endif /* _ASM_BUGS_H */