SCPs can be 2LSs
[akaros.git] / user / parlib / include / parlib.h
1 // Main public header file for our user-land support library,
2 // whose code lives in the lib directory.
3 // This library is roughly our OS's version of a standard C library,
4 // and is intended to be linked into all user-mode applications
5 // (NOT the kernel or boot loader).
6
7 #ifndef PARLIB_PARLIB_H
8 #define PARLIB_PARLIB_H
9
10 #ifndef __ASSEMBLER__
11
12 #include <ros/common.h>
13 #include <ros/memlayout.h>
14 #include <ros/syscall.h>
15 #include <ros/procinfo.h>
16 #include <ros/procdata.h>
17 #include <signal.h>
18 #include <stdint.h>
19 #include <errno.h>
20 #include <parlib/ros_debug.h>
21
22 __BEGIN_DECLS
23
24 enum {
25         PG_RDONLY = 4,
26         PG_RDWR   = 6,
27 };
28
29 ssize_t     sys_cputs(const uint8_t *s, size_t len);
30 uint16_t    sys_cgetc(void);
31 int         sys_null(void);
32 size_t      sys_getpcoreid(void);
33 /* Process Management */
34 int         sys_getpid(void);
35 int         sys_proc_destroy(int pid, int exitcode);
36 void        sys_yield(bool being_nice);
37 int         sys_proc_create(char *path, size_t path_l, char *argv[],
38                             char *envp[], int flags);
39 int         sys_proc_run(int pid);
40 ssize_t     sys_shared_page_alloc(void **addr, pid_t p2, 
41                                   int p1_flags, int p2_flags);
42 ssize_t     sys_shared_page_free(void *addr, pid_t p2);
43 void        sys_reboot();
44 void            *sys_mmap(void *addr, size_t length, int prot, int flags,
45                       int fd, size_t offset);
46 int                     sys_provision(int pid, unsigned int res_type, long res_val);
47 int         sys_notify(int pid, unsigned int ev_type, struct event_msg *u_msg);
48 int         sys_self_notify(uint32_t vcoreid, unsigned int ev_type,
49                             struct event_msg *u_msg, bool priv);
50 int         sys_halt_core(unsigned int usec);
51 void*           sys_init_arsc();
52 int         sys_block(unsigned int usec);
53 int         sys_change_vcore(uint32_t vcoreid, bool enable_my_notif);
54 int         sys_change_to_m(void);
55 int         sys_poke_ksched(int pid, unsigned int res_type);
56 int         sys_abort_sysc(struct syscall *sysc);
57 int         sys_abort_sysc_fd(int fd);
58
59 long            syscall_async(struct syscall *sysc, unsigned long num, ...);
60
61 /* Posix signal related stuff */
62 struct sigdata {
63         struct user_context u_ctx;
64         struct ancillary_state as;
65         struct siginfo info;
66         void *stack;
67 };
68 /* This is the set of global function pointers that a 2LS using signals needs
69  * to implement.  Subject to grow over time. */
70 struct signal_ops {
71         int (*sigprocmask)(int, __const sigset_t *__restrict, sigset_t *__restrict);
72 };
73 extern struct signal_ops *signal_ops;
74 void init_posix_signals(void);
75 struct sigdata *alloc_sigdata();
76 void free_sigdata(struct sigdata *sigdata);
77 void trigger_posix_signal(int sig_nr, struct siginfo *info, void *aux);
78
79 /* Control variables */
80 extern bool parlib_wants_to_be_mcp;     /* instructs the 2LS to be an MCP */
81
82 __END_DECLS
83
84 #endif  // !ASSEMBLER
85
86 #endif /* PARLIB_PARLIB_H */