|
L4Re - L4 Runtime Environment
|
Machine restarting functions. More...
#include <l4/sys/compiler.h>
Include dependency graph for reboot.h:Go to the source code of this file.
Functions | |
| void | l4util_reboot (void)) |
| Machine reboot. | |
Machine restarting functions.
Definition in file reboot.h.