kern_reboot
kern_reboot(RB_POWERDOWN, NULL);
kern_reboot(0, NULL);
kern_reboot(RB_POWERDOWN|RB_HALT, NULL);
kern_reboot(SCARG(uap, opt), NULL);
kern_reboot((int)bootflags, NULL);
kern_reboot(RB_DUMP, NULL);
kern_reboot(0, NULL);
kern_reboot(RB_POWERDOWN, NULL);
kern_reboot(0, NULL);
kern_reboot(RB_POWERDOWN, NULL);
kern_reboot(RB_HALT, NULL);
kern_reboot(0, NULL);
kern_reboot(SCARG(uap, opt), bootstr);
kern_reboot(RB_HALT, NULL);
kern_reboot(0, NULL);
kern_reboot(RB_HALT, NULL);
kern_reboot(0, NULL);
kern_reboot(bootopt, NULL);
void kern_reboot(int, char *) __dead;