x86: Use a KERNBASE address for the bootstack

[akaros.git] / kern / include / arsc_server.h

diff --git a/kern/include/arsc_server.h b/kern/include/arsc_server.h
index 1f15f23..2103f97 100644 (file)
--- a/kern/include/arsc_server.h
+++ b/kern/include/arsc_server.h
@@ -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>
@@ -22,4 +23,3 @@ intreg_t syscall_async(struct proc* p, syscall_req_t *syscall);
 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