Searched defs:SYSCALL_REBOOT (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dsyscalls.h48 #define SYSCALL_REBOOT 4 ///< Reboot the machine macro

Completed in 24 milliseconds