1 #ifndef __POWERPC_PLATFORMS_44X_44X_H 2 #define __POWERPC_PLATFORMS_44X_44X_H 3 4 extern void ppc44x_reset_system(char *cmd); 5 6 #endif /* __POWERPC_PLATFORMS_44X_44X_H */ 7