/* * Arguments to reboot system call. These are passed to the boot program, * and then on to init. */