1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 /*
3  * PPC4xx Prototypes and definitions
4  *
5  * Copyright 2008 DENX Software Engineering, Stefan Roese <sr@denx.de>
6  */
7 
8 #ifndef __ASM_POWERPC_PPC4xx_H__
9 #define __ASM_POWERPC_PPC4xx_H__
10 
11 extern void __noreturn ppc4xx_reset_system(char *cmd);
12 
13 #endif /* __ASM_POWERPC_PPC4xx_H__ */
14