src/os/freebsd-os_reboot.c


1
2
3
4
5
6
7
8
9
10
11

/* ISC license. */

#include <unistd.h>
#include <sys/reboot.h>

#include "os.h"

void os_reboot (int what)
{
  reboot(what == 3 ? RB_AUTOBOOT : what == 2 ? RB_POWEROFF : RB_HALT) ;
}