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