highbank_restart    7 arch/arm/mach-highbank/core.h extern void highbank_restart(enum reboot_mode, const char *);
highbank_restart  174 arch/arm/mach-highbank/highbank.c 	.restart	= highbank_restart,