#include #include "syscall.h" int reboot(int type) { return syscall(SYS_reboot, 0xfee1dead, 672274793, type); } #ifdef TEST int main(void) { return 0; } #endif