1#include <sys/reboot.h>
2#include "syscall.h"
3
4int reboot(int type)
5{
6	return syscall(SYS_reboot, 0xfee1dead, 672274793, type);
7}