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
 8extern void check_writebuffer_bugs(void);
 9
10#ifdef CONFIG_MMU
11extern void check_other_bugs(void);
12#else
13#define check_other_bugs() do { } while (0)
14#endif
15
16#endif

 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
 8extern void check_writebuffer_bugs(void);
 9
10#ifdef CONFIG_MMU
11extern void check_other_bugs(void);
12#else
13#define check_other_bugs() do { } while (0)
14#endif
15
16#endif