reboot syscall added
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:43:48 +0000 (20:43 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:43:48 +0000 (20:43 -0800)
kern/include/ros/syscall.h

index 3fffe91..d3e0756 100644 (file)
@@ -39,8 +39,9 @@
 // forward a syscall to front-end machine
 #define SYS_frontend                           22
 #define SYS_getvcoreid                         23
+#define SYS_reboot                             24
 // Keep this in sync with the last syscall number
-#define NSYSCALLS                                      23
+#define NSYSCALLS                                      24
 // syscall number starts at 1 and goes up to NSYSCALLS, without holes.
 #define INVALID_SYSCALL(syscallno) ((syscallno) > NSYSCALLS)