/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ASM_X86_PURGATORY_H
#define _ASM_X86_PURGATORY_H
#ifndef __ASSEMBLY__
#include <linux/purgatory.h>
extern void purgatory(void);
#endif /* __ASSEMBLY__ */
#endif /* _ASM_PURGATORY_H */