Name
emergency_restart —
reboot the system
Synopsis
void emergency_restart ( void);
Description
Without shutting down any hardware or taking any locks
reboot the system. This is called when we know we are in
trouble so this is our best effort to reboot. This is
safe to call in interrupt context.