PCI: properly read the BARs
[akaros.git] / kern / include / syscall.h
index 7e9082f..f4be19a 100644 (file)
@@ -38,15 +38,21 @@ struct sys_table_entry {
        syscall_t call;
        char *name;
 };
-const static struct sys_table_entry syscall_table[];
+extern const struct sys_table_entry syscall_table[];
+extern const int max_syscall;
 /* Syscall invocation */
 void prep_syscalls(struct proc *p, struct syscall *sysc, unsigned int nr_calls);
 void run_local_syscall(struct syscall *sysc);
 intreg_t syscall(struct proc *p, uintreg_t sc_num, uintreg_t a0, uintreg_t a1,
                  uintreg_t a2, uintreg_t a3, uintreg_t a4, uintreg_t a5);
 void set_errno(int errno);
-void set_errstr(char *errstr);
+int get_errno(void);
+void unset_errno(void);
+void set_errstr(char *errstr, ...);
 char *current_errstr(void);
+struct errbuf *get_cur_errbuf(void);
+void set_cur_errbuf(struct errbuf *ebuf);
+char *get_cur_genbuf(void);
 void __signal_syscall(struct syscall *sysc, struct proc *p);
 
 /* Tracing functions */