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