1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 * This is included by init/main.c to check for architecture-dependent bugs.
 4 *
 5 * Needs:
 6 *	void check_bugs(void);
 7 *
 8 * Based on <asm-alpha/bugs.h>.
 9 *
10 * Modified 1998, 1999, 2003
11 *	David Mosberger-Tang <davidm@hpl.hp.com>,  Hewlett-Packard Co.
12 */
13#ifndef _ASM_IA64_BUGS_H
14#define _ASM_IA64_BUGS_H
15
16#include <asm/processor.h>
17
18extern void check_bugs (void);
19
20#endif /* _ASM_IA64_BUGS_H */