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

source code of linux/arch/x86/include/asm/purgatory.h