38104a4d26026c5c2f3be2d099b35f2a44a231fe
[akaros.git] / user / parlib / inc / 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 ROS_INC_PARLIB_H
8 #define ROS_INC_PARLIB_H 1
9
10 #include <ros/common.h>
11 #include <ros/memlayout.h>
12 #include <ros/syscall.h>
13 #include <ros/error.h>
14 #include <ros/procdata.h>
15 #include <sys/time.h>
16 #include <errno.h>
17
18 enum {
19         PG_RDONLY = 4,
20         PG_RDWR   = 6,
21 };
22
23 extern procinfo_t procinfo;
24 extern procdata_t procdata;
25
26 intreg_t syscall(uint16_t num, intreg_t a1,
27                 intreg_t a2, intreg_t a3,
28                 intreg_t a4, intreg_t a5);
29
30 ssize_t     sys_cputs(const uint8_t *s, size_t len);
31 uint16_t    sys_cgetc(void);
32 ssize_t     sys_serial_write(void* buf, size_t len); 
33 ssize_t     sys_serial_read(void* buf, size_t len);
34 ssize_t     sys_eth_write(void *COUNT(len) buf, size_t len); 
35 ssize_t     sys_eth_read(void *COUNT(len) buf, size_t len);
36 ssize_t     sys_run_binary(void* binary_buf, size_t len,
37                            void* arg, size_t arglen, 
38                            size_t num_colors);
39 int         sys_getpid(void);
40 size_t      sys_getcpuid(void);
41 error_t     sys_brk(void* addr);
42 error_t     sys_proc_destroy(int pid);
43 ssize_t     sys_shared_page_alloc(void *COUNT(PGSIZE) *addr, pid_t p2, 
44                                   int p1_flags, int p2_flags);
45 ssize_t     sys_shared_page_free(void *COUNT(PGSIZE) addr, pid_t p2);
46 ssize_t     sys_resource_req(int type, size_t amount, uint32_t flags);
47 void        sys_reboot();
48 int         gettimeofday(struct timeval* tp, void* tzp);
49
50 #endif  // !ROS_INC_PARLIB_H