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