#include <asm/hardware/iop3xx.h>
#include <asm/system_misc.h>
#include <mach/hardware.h>
Go to the source code of this file.
Definition at line 14 of file restart.c.