#ifndef __POWERPC_PLATFORMS_44X_44X_H
#define __POWERPC_PLATFORMS_44X_44X_H

extern void ppc44x_reset_system(char *cmd);

#endif /* __POWERPC_PLATFORMS_44X_44X_H */