1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2007  Maciej W. Rozycki
4 */
5#ifndef _ASM_BUGS_H
6#define _ASM_BUGS_H
7
8#include <linux/bug.h>
9#include <linux/smp.h>
10
11#include <asm/cpu.h>
12#include <asm/cpu-info.h>
13
14extern int daddiu_bug;
15
16extern void check_bugs64_early(void);
17
18extern void check_bugs32(void);
19extern void check_bugs64(void);
20
21static inline int r4k_daddiu_bug(void)
22{
23	if (!IS_ENABLED(CONFIG_CPU_R4X00_BUGS64))
24		return 0;
25
26	WARN_ON(daddiu_bug < 0);
27	return daddiu_bug != 0;
28}
29
30#endif /* _ASM_BUGS_H */
31