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 int r4k_daddiu_bug(void)
23 if (!IS_ENABLED(CONFIG_CPU_R4X00_BUGS64
))
26 WARN_ON(daddiu_bug
< 0);
27 return daddiu_bug
!= 0;
30 #endif /* _ASM_BUGS_H */