1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_PURGATORY_H
3#define _ASM_X86_PURGATORY_H
4
5#ifndef __ASSEMBLY__
6#include <linux/purgatory.h>
7
8extern void purgatory(void);
9#endif	/* __ASSEMBLY__ */
10
11#endif /* _ASM_PURGATORY_H */
12