do_kernel_restart
do_kernel_restart(cmd);
do_kernel_restart(cmd);
do_kernel_restart(cmd);
do_kernel_restart(command);
do_kernel_restart(cmd);
do_kernel_restart(command);
do_kernel_restart(cmd);
do_kernel_restart(cmd);
do_kernel_restart(cmd);
do_kernel_restart(cmd);
extern void do_kernel_restart(char *cmd);