12cd97647SDavid Gibson #ifndef __POWERPC_PLATFORMS_44X_44X_H 22cd97647SDavid Gibson #define __POWERPC_PLATFORMS_44X_44X_H 32cd97647SDavid Gibson 42cd97647SDavid Gibson extern void ppc44x_reset_system(char *cmd); 52cd97647SDavid Gibson 62cd97647SDavid Gibson #endif /* __POWERPC_PLATFORMS_44X_44X_H */ 7