kernel_restart(9)
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.