1/*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 */
10
11#ifndef LIBREFOSSYS_SYSCALLS_H_
12#define LIBREFOSSYS_SYSCALLS_H_
13
14#include <stdarg.h>
15
16/* prototype all the syscalls we implement */
17long sys_set_thread_area(va_list ap);
18long sys_set_tid_address(va_list ap);
19long sys_sched_yield(va_list ap);
20long sys_exit(va_list ap);
21long sys_rt_sigprocmask(va_list ap);
22long sys_gettid(va_list ap);
23long sys_getpid(va_list ap);
24long sys_tgkill(va_list ap);
25long sys_tkill(va_list ap);
26long sys_exit_group(va_list ap);
27long sys_open(va_list ap);
28long sys_close(va_list ap);
29long sys_readv(va_list ap);
30long sys_read(va_list ap);
31long sys_ioctl(va_list ap);
32long sys_prlimit64(va_list ap);
33long sys_lseek(va_list ap);
34long sys__llseek(va_list ap);
35long sys_access(va_list ap);
36long sys_brk(va_list ap);
37long sys_mmap2(va_list ap);
38long sys_mremap(va_list ap);
39long sys_writev(va_list ap);
40
41#endif
42