18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci *  Copyright (C) 1995-2003 Russell King
48c2ecf20Sopenharmony_ci */
58c2ecf20Sopenharmony_ci#ifndef __ASM_BUGS_H
68c2ecf20Sopenharmony_ci#define __ASM_BUGS_H
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ciextern void check_writebuffer_bugs(void);
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ci#ifdef CONFIG_MMU
118c2ecf20Sopenharmony_ciextern void check_other_bugs(void);
128c2ecf20Sopenharmony_ci#else
138c2ecf20Sopenharmony_ci#define check_other_bugs() do { } while (0)
148c2ecf20Sopenharmony_ci#endif
158c2ecf20Sopenharmony_ci
168c2ecf20Sopenharmony_ci#endif
17