BXE: min->MIN, plus an spatch
[akaros.git] / kern / include / frontend.h
index 2cec60b..2f1f4dd 100644 (file)
@@ -6,15 +6,9 @@
 #ifdef ROS_KERNEL
 
 #include <env.h>
+#include <vfs.h>
 #include <process.h>
 
-// for now, this is where struct file lives
-struct file {
-       int fd; // all it contains is an appserver fd (for pid 0, aka kernel)
-       int refcnt;
-       spinlock_t lock;
-};
-
 // Default APPSERVER_ETH_TYPE if not defined externally
 #ifndef APPSERVER_ETH_TYPE
 #define APPSERVER_ETH_TYPE 0x8888
@@ -30,14 +24,6 @@ int32_t frontend_syscall(pid_t pid, int32_t syscall_num,
 int frontend_syscall_errno(struct proc* p, int n, int a0, 
                            int a1, int a2, int a3);
 
-void* user_memdup(struct proc* p, const void* va, int len);
-void* user_memdup_errno(struct proc* p, const void* va, int len);
-void user_memdup_free(struct proc* p, void* va);
-char* user_strdup(struct proc* p, const char* va0, int max);
-char* user_strdup_errno(struct proc* p, const char* va, int max);
-int memcpy_to_user_errno(struct proc* p, void* dst, const void* src, int len);
-void* kmalloc_errno(int len);
-
 void file_init(void);
 error_t file_read_page(struct file* f, physaddr_t pa, size_t pgoff);
 struct file* file_open(const char* path, int oflag, int mode);