Reference

kernel_power_off(9) on Linux

The text 84fdb378c5db, as Debian 4.0 (Etch) shipped it.

power_off the system

kernel_power_off(9) on Linux now