/* syscall: "reboot" ret: "int" args: "int" "char *" */