src/os/linux-os_reboot.c


1
2
3
4
5
6
7
8
9
10

/* ISC license. */

#include <sys/reboot.h>

#include "os.h"

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