1#include <unistd.h> 2#include <sys/reboot.h> 3 4/* sysdep: +std reboot */ 5 6int reboot_system(int what) { 7 return(reboot(what)); 8} 9