Add a devstat helper
[akaros.git] / kern / include / frontend.h
index 2f1f4dd..7946657 100644 (file)
@@ -1,5 +1,4 @@
-#ifndef ROS_FRONTEND_H
-#define ROS_FRONTEND_H
+#pragma once
 
 #include <ros/common.h>
 
 void frontend_proc_init(struct proc* p);
 void frontend_proc_free(struct proc* p);
 
-int32_t frontend_syscall(pid_t pid, int32_t syscall_num, 
-                         uint32_t arg0, uint32_t arg1, uint32_t arg2, 
+int32_t frontend_syscall(pid_t pid, int32_t syscall_num,
+                         uint32_t arg0, uint32_t arg1, uint32_t arg2,
                          uint32_t arg3, int32_t* errno);
 
-int frontend_syscall_errno(struct proc* p, int n, int a0, 
+int frontend_syscall_errno(struct proc* p, int n, int a0,
                            int a1, int a2, int a3);
 
 void file_init(void);
@@ -68,5 +67,3 @@ void file_decref(struct file* f);
 #define APPSERVER_SYSCALL_pread       173
 #define APPSERVER_SYSCALL_pwrite      174
 #define APPSERVER_SYSCALL_getcwd      229
-
-#endif /* !ROS_FRONTEND_H */