src/userspace/syscall.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#include <syscall.h>

/**
 * DEFINITIONS
 */
DEFN_SYSCALL0(halt, 0);

DEFN_SYSCALL1(write, 1, char *);

DEFN_SYSCALL1(read, 2, char *);

DEFN_SYSCALL1(writec, 3, char *);

DEFN_SYSCALL1(readc, 4, char *);

DEFN_SYSCALL0(get_pointers, 5);

DEFN_SYSCALL1(paging_alloc, 6, uint32_t);

DEFN_SYSCALL2(paging_free, 7, uint32_t, uint32_t);