1/* SPDX-License-Identifier: GPL-2.0 */ 2/* 3 * This is included by init/main.c to check for architecture-dependent bugs. 4 * 5 * Copyright (C) 2007 Maciej W. Rozycki 6 * 7 * Needs: 8 * void check_bugs(void); 9 */ 10#ifndef _ASM_BUGS_H 11#define _ASM_BUGS_H 12 13#include <linux/bug.h> 14#include <linux/delay.h> 15#include <linux/smp.h> 16 17#include <asm/cpu.h> 18#include <asm/cpu-info.h> 19 20extern int daddiu_bug; 21 22extern void check_bugs64_early(void); 23 24extern void check_bugs32(void); 25extern void check_bugs64(void); 26 27static inline void check_bugs_early(void) 28{ 29#ifdef CONFIG_64BIT 30 check_bugs64_early(); 31#endif 32} 33 34static inline void check_bugs(void) 35{ 36 unsigned int cpu = smp_processor_id(); 37 38 cpu_data[cpu].udelay_val = loops_per_jiffy; 39 check_bugs32(); 40#ifdef CONFIG_64BIT 41 check_bugs64(); 42#endif 43} 44 45static inline int r4k_daddiu_bug(void) 46{ 47#ifdef CONFIG_64BIT 48 WARN_ON(daddiu_bug < 0); 49 return daddiu_bug != 0; 50#else 51 return 0; 52#endif 53} 54 55#endif /* _ASM_BUGS_H */ 56