Formerly kernel.h.~4~

1 files changed, 9 insertions, 1 deletions

diff --git a/pfinet/linux/kernel.h b/pfinet/linux/kernel.h
index 02281028..b3648056 100644
--- a/pfinet/linux/kernel.h
+++ b/pfinet/linux/kernel.h
@@ -2,13 +2,21 @@
 #define _HACK_KERNEL_H
 
 #include <stdio.h>
+#include <linux/sched.h>
 
 #define printk printf
 
 int getname (const char *, char **);
 void putname (char *);
 
-int suser (void);
+extern inline int suser ()
+{
+  return current->isroot;
+};
+
+
+int kill_proc (int, int, int);
+int kill_pg (int, int, int);
 
 
 #endif