— Function: kern_return_t host_reboot (host_priv_t host_priv, int options)

Reboot the host specified by host_priv. The argument options specifies the flags. The available flags are defined in sys/reboot.h:

RB_HALT

Do not reboot, but halt the machine.

RB_DEBUGGER

Do not reboot, but enter kernel debugger from user space.

If successful, the function might not return.