AT91 reboot code

[Will Deacon]

On Wed, Nov 02, 2011 at 05:43:28AM +0000, Andrew Victor wrote:
> hi Russell,
> 
> > Is there any reason this can't just be:
> >
> > void (*arch_reset)(char mode, const char *cmd);
> 
> I don't see any reason why not, except if arch_reset() can be called
> early in the setup code (before the platform initialization).

That's certainly the approach I took here:

http://lists.infradead.org/pipermail/linux-arm-kernel/2011-October/070729.html

but I only compile-tested it.

Will