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