1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (C) 2019  Arm Limited
4  * Original author: Dave Martin <Dave.Martin@arm.com>
5  */
6 
7 #ifndef SYSTEM_H
8 #define SYSTEM_H
9 
10 #include <linux/types.h>
11 #include <linux/stddef.h>
12 
13 typedef __kernel_size_t size_t;
14 typedef __kernel_ssize_t ssize_t;
15 
16 #include <linux/errno.h>
17 #include <asm/hwcap.h>
18 #include <asm/ptrace.h>
19 #include <asm/unistd.h>
20 
21 #include "compiler.h"
22 
23 long syscall(int nr, ...);
24 
25 void __noreturn exit(int n);
26 ssize_t write(int fd, const void *buf, size_t size);
27 
28 #endif /* ! SYSTEM_H */
29