/* | |
* PPC4xx Prototypes and definitions | |
* | |
* Copyright 2008 DENX Software Engineering, Stefan Roese <sr@denx.de> | |
* | |
* This is free software; you can redistribute it and/or modify it | |
* under the terms of the GNU General Public License as published by | |
* the Free Software Foundation; either version 2 of the License, or | |
* (at your option) any later version. | |
* | |
*/ | |
#ifndef __ASM_POWERPC_PPC4xx_H__ | |
#define __ASM_POWERPC_PPC4xx_H__ | |
extern void ppc4xx_reset_system(char *cmd); | |
#endif /* __ASM_POWERPC_PPC4xx_H__ */ |