Loading...
1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * arch/arm/include/asm/bugs.h
4 *
5 * Copyright (C) 1995-2003 Russell King
6 */
7#ifndef __ASM_BUGS_H
8#define __ASM_BUGS_H
9
10extern void check_writebuffer_bugs(void);
11
12#ifdef CONFIG_MMU
13extern void check_bugs(void);
14extern void check_other_bugs(void);
15#else
16#define check_bugs() do { } while (0)
17#define check_other_bugs() do { } while (0)
18#endif
19
20#endif
1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * arch/arm/include/asm/bugs.h
4 *
5 * Copyright (C) 1995-2003 Russell King
6 */
7#ifndef __ASM_BUGS_H
8#define __ASM_BUGS_H
9
10extern void check_writebuffer_bugs(void);
11
12#ifdef CONFIG_MMU
13extern void check_bugs(void);
14extern void check_other_bugs(void);
15#else
16#define check_bugs() do { } while (0)
17#define check_other_bugs() do { } while (0)
18#endif
19
20#endif