NAME
kernel_restart - reboot the system
SYNOPSIS
void kernel_restart(char * cmd);
ARGUMENTS
cmd
pointer to buffer containing command to execute for restart or NULL
DESCRIPTION
Shutdown everything and perform a clean reboot. This is not safe to call in interrupt context.