1314bcbf0SMark Brown /* SPDX-License-Identifier: GPL-2.0 */
2314bcbf0SMark Brown /*
3314bcbf0SMark Brown  * Copyright (C) 2019  Arm Limited
4314bcbf0SMark Brown  * Original author: Dave Martin <Dave.Martin@arm.com>
5314bcbf0SMark Brown  */
6314bcbf0SMark Brown 
7314bcbf0SMark Brown #ifndef SYSTEM_H
8314bcbf0SMark Brown #define SYSTEM_H
9314bcbf0SMark Brown 
10314bcbf0SMark Brown #include <linux/types.h>
11314bcbf0SMark Brown #include <linux/stddef.h>
12314bcbf0SMark Brown 
13314bcbf0SMark Brown typedef __kernel_size_t size_t;
14314bcbf0SMark Brown typedef __kernel_ssize_t ssize_t;
15314bcbf0SMark Brown 
16314bcbf0SMark Brown #include <linux/errno.h>
17*672dbf97SMark Brown #include <linux/compiler.h>
18*672dbf97SMark Brown 
19314bcbf0SMark Brown #include <asm/hwcap.h>
20314bcbf0SMark Brown #include <asm/ptrace.h>
21314bcbf0SMark Brown #include <asm/unistd.h>
22314bcbf0SMark Brown 
23314bcbf0SMark Brown long syscall(int nr, ...);
24314bcbf0SMark Brown 
25314bcbf0SMark Brown void __noreturn exit(int n);
26314bcbf0SMark Brown ssize_t write(int fd, const void *buf, size_t size);
27314bcbf0SMark Brown 
28314bcbf0SMark Brown #endif /* ! SYSTEM_H */
29