kern/include/arsc_server.h

   1 /*
   2  * Copyright (c) 2009 The Regents of the University  of California.
   3  * See the COPYRIGHT files at the top of this source tree for full
   4  * license information.
   5  */
   6 #ifndef _ROS_ARSC_SERVER_H
   7 #define __ROS_ARSC_SERVER_H
   8 #include <ros/common.h>
   9 #include <ros/ring_syscall.h>
  10 #include <arch/types.h>
  11 #include <arch/arch.h>
  12
  13 #include <process.h>
  14 #include <syscall.h>
  15 #include <error.h>
  16
  17 extern struct proc_list arsc_proc_list;
  18 extern spinlock_t arsc_proc_lock;
  19
  20 syscall_sring_t* sys_init_arsc(struct proc* p);
  21 intreg_t syscall_async(struct proc* p, syscall_req_t *syscall);
  22 void arsc_server(uint32_t srcid, long a0, long a1, long a2);
  23
  24 static intreg_t process_generic_syscalls(struct proc* p, size_t max);
  25 #endif //ARSC_SERVER