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 */