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