#include "syscalls.h"

syscall(reboot,__reboot)