1/*
2 * Copyright 2017, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#pragma once
14
15#include <stdarg.h>
16
17/* prototype all the syscalls we implement */
18long sys_set_thread_area(va_list ap);
19long sys_set_tid_address(va_list ap);
20long sys_sched_yield(va_list ap);
21long sys_exit(va_list ap);
22long sys_rt_sigprocmask(va_list ap);
23long sys_gettid(va_list ap);
24long sys_getpid(va_list ap);
25long sys_tgkill(va_list ap);
26long sys_tkill(va_list ap);
27long sys_exit_group(va_list ap);
28long sys_open(va_list ap);
29long sys_openat(va_list ap);
30long sys_close(va_list ap);
31long sys_readv(va_list ap);
32long sys_read(va_list ap);
33long sys_ioctl(va_list ap);
34long sys_prlimit64(va_list ap);
35long sys_lseek(va_list ap);
36long sys__llseek(va_list ap);
37long sys_access(va_list ap);
38long sys_brk(va_list ap);
39long sys_mmap2(va_list ap);
40long sys_mmap(va_list ap);
41long sys_mremap(va_list ap);
42long sys_write(va_list ap);
43long sys_writev(va_list ap);
44long sys_madvise(va_list ap);
45
46