freebsd-dev/sbin/reboot
..
boot_i386.8
Makefile
reboot.8
reboot.c