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.