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