162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-or-later */ 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * PPC4xx Prototypes and definitions 462306a36Sopenharmony_ci * 562306a36Sopenharmony_ci * Copyright 2008 DENX Software Engineering, Stefan Roese <sr@denx.de> 662306a36Sopenharmony_ci */ 762306a36Sopenharmony_ci 862306a36Sopenharmony_ci#ifndef __ASM_POWERPC_PPC4xx_H__ 962306a36Sopenharmony_ci#define __ASM_POWERPC_PPC4xx_H__ 1062306a36Sopenharmony_ci 1162306a36Sopenharmony_ciextern void __noreturn ppc4xx_reset_system(char *cmd); 1262306a36Sopenharmony_ci 1362306a36Sopenharmony_ci#endif /* __ASM_POWERPC_PPC4xx_H__ */ 14