cns3xxx_restart 251 arch/arm/mach-cns3xxx/cns3420vb.c .restart = cns3xxx_restart, cns3xxx_restart 411 arch/arm/mach-cns3xxx/core.c .restart = cns3xxx_restart, cns3xxx_restart 30 arch/arm/mach-cns3xxx/core.h void cns3xxx_restart(enum reboot_mode, const char *);