int reboot(int magic)