carta

reboot(2freebsd) on Linux

The text ce8d3fe63a9a, as Debian 9 (Stretch) shipped it.

reboot system or halt processor

reboot(2freebsd) on Linux now