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.