From dd56292f65f665dc91a2ccfad8a11cc35a8c543b Mon Sep 17 00:00:00 2001
From: Thomas Cort <tcort@minix3.org>
Date: Fri, 2 Aug 2013 10:10:39 -0400
Subject: [PATCH] syslib: implement sys_reboot()

Change-Id: Ia604e3d57dbcdc25c96c1aa0a263384982311d09
---
 include/minix/syslib.h  |  1 +
 lib/libsys/Makefile     |  1 +
 lib/libsys/sys_reboot.c | 11 +++++++++++
 3 files changed, 13 insertions(+)
 create mode 100644 lib/libsys/sys_reboot.c

diff --git a/include/minix/syslib.h b/include/minix/syslib.h
index 863790091..1d0b01761 100644
--- a/include/minix/syslib.h
+++ b/include/minix/syslib.h
@@ -67,6 +67,7 @@ int sys_vmctl_get_memreq(endpoint_t *who, vir_bytes *mem, vir_bytes
 int sys_vmctl_enable_paging(void * data);
 
 int sys_readbios(phys_bytes address, void *buf, size_t size);
+int sys_reboot(int how);
 int sys_settime(int now, clockid_t clk_id, time_t sec, long nsec);
 int sys_stime(time_t boottime);
 int sys_sysctl(int ctl, char *arg1, int arg2);
diff --git a/lib/libsys/Makefile b/lib/libsys/Makefile
index ba949cbda..5381add39 100644
--- a/lib/libsys/Makefile
+++ b/lib/libsys/Makefile
@@ -52,6 +52,7 @@ SRCS+=  \
 	sys_physcopy.c \
 	sys_privctl.c \
 	sys_profbuf.c \
+	sys_reboot.c \
 	sys_runctl.c \
 	sys_safecopy.c \
 	sys_safememset.c \
diff --git a/lib/libsys/sys_reboot.c b/lib/libsys/sys_reboot.c
new file mode 100644
index 000000000..8b554e08f
--- /dev/null
+++ b/lib/libsys/sys_reboot.c
@@ -0,0 +1,11 @@
+#include "syslib.h"
+
+int
+sys_reboot(int how)
+{
+	message m;
+
+	m.m1_i1 = how;
+
+	return _taskcall(PM_PROC_NR, REBOOT, &m);
+}