arch/powerpc/include/asm/ppc4xx.h

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