Loading...
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/*
2 * arch/arm/include/asm/bugs.h
3 *
4 * Copyright (C) 1995-2003 Russell King
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
9 */
10#ifndef __ASM_BUGS_H
11#define __ASM_BUGS_H
12
13#ifdef CONFIG_MMU
14extern void check_writebuffer_bugs(void);
15
16#define check_bugs() check_writebuffer_bugs()
17#else
18#define check_bugs() do { } while (0)
19#endif
20
21#endif