x86: Use a KERNBASE address for the bootstack
[akaros.git] / kern / include / arsc_server.h
index b8afedd..2103f97 100644 (file)
@@ -1,10 +1,11 @@
 /*
- * Copyright (c) 2009 The Regents of the University  of California.  
- * See the COPYRIGHT files at the top of this source tree for full 
+ * Copyright (c) 2009 The Regents of the University  of California.
+ * See the COPYRIGHT files at the top of this source tree for full
  * license information.
  */
-#ifndef _ROS_ARSC_SERVER_H
-#define __ROS_ARSC_SERVER_H
+
+#pragma once
+
 #include <ros/common.h>
 #include <ros/ring_syscall.h>
 #include <arch/types.h>
@@ -19,7 +20,6 @@ extern spinlock_t arsc_proc_lock;
 
 syscall_sring_t* sys_init_arsc(struct proc* p);
 intreg_t syscall_async(struct proc* p, syscall_req_t *syscall);
-void arsc_server(trapframe_t *tf);
+void arsc_server(uint32_t srcid, long a0, long a1, long a2);
 
 static intreg_t process_generic_syscalls(struct proc* p, size_t max);
-#endif //ARSC_SERVER