emergency_restart9
Reboot the system
Usage
void emergency_restart(void);
Arguments
void
no arguments
Overview
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.
History
- Debian 7 (Wheezy): the text shown here
- Debian 6.0 (Squeeze)
- Debian 5.0 (Lenny)
- Debian 4.0 (Etch)