kernel_restart     63 include/linux/reboot.h extern void kernel_restart(char *cmd);
kernel_restart    475 kernel/power/disk.c 		kernel_restart(NULL);
kernel_restart    375 kernel/sys.c   		kernel_restart(NULL);
kernel_restart    405 kernel/sys.c   		kernel_restart(buffer);
kernel_restart    437 kernel/sys.c   	kernel_restart(NULL);