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