kernel_restart9
Reboot the system
Usage
void kernel_restart(char * cmd);
Arguments
cmd
pointer to buffer containing command to execute for restart or NULL
Overview
Shutdown everything and perform a clean reboot. This is not safe to call in interrupt context.
Releases
4 releases since Debian 4.0 (Etch); the text changed 3 times.