1 2 3 4 5 6 7
#include <errno.h> #include <sys/reboot.h> #include <bits/ensure.h> int reboot(int what) { return 0; }