2 files changed, 0 insertions, 8 deletions
diff --git a/src/shared/include/camellia/syscalls.h b/src/shared/include/camellia/syscalls.h
index 01b1b5d..f9e3832 100644
--- a/src/shared/include/camellia/syscalls.h
+++ b/src/shared/include/camellia/syscalls.h
@@ -22,8 +22,6 @@
 
 #define _SYSCALL_SLEEP 15
 
-#define _SYSCALL_PROCFS 16
-
 #define _SYSCALL_EXECBUF 100
 
 #define _SYSCALL_DEBUG_KLOG 101
@@ -80,8 +78,6 @@ long _syscall_pipe(handle_t __user user_ends[2], int flags);
 
 void _syscall_sleep(long ms);
 
-handle_t _syscall_procfs(void);
-
 /* see shared/execbuf.h */
 long _syscall_execbuf(void __user *buf, size_t len);
 
diff --git a/src/user/lib/syscall.c b/src/user/lib/syscall.c
index 09b8e49..50c71a8 100644
--- a/src/user/lib/syscall.c
+++ b/src/user/lib/syscall.c
@@ -70,10 +70,6 @@ void _syscall_sleep(long ms) {
 	return (void)_syscall(_SYSCALL_SLEEP, ms, 0, 0, 0, 0);
 }
 
-handle_t _syscall_procfs(void) {
-	return (handle_t)_syscall(_SYSCALL_PROCFS, 0, 0, 0, 0, 0);
-}
-
 long _syscall_execbuf(void __user *buf, size_t len) {
 	return _syscall(_SYSCALL_EXECBUF, (long)buf, (long)len, 0, 0, 0);
 }