1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 1997, 1999, 2001, 06 by Ralf Baechle 4 * Copyright (C) 2001 MIPS Technologies, Inc. 5 */ 6 #ifndef _ASM_REBOOT_H 7 #define _ASM_REBOOT_H 8 9 extern void _machine_restart(void); 10 11 #endif /* _ASM_REBOOT_H */ 12