1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * Copyright (C) 1995-2003 Russell King
4 */
5 #ifndef __ASM_BUGS_H
6 #define __ASM_BUGS_H
7
8 extern void check_writebuffer_bugs(void);
9
10 #ifdef CONFIG_MMU
11 extern void check_other_bugs(void);
12 #else
13 #define check_other_bugs() do { } while (0)
14 #endif
15
16 #endif
17
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.