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
13typedef __kernel_size_t size_t;
14typedef __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
23long syscall(int nr, ...);
24
25void __noreturn exit(int n);
26ssize_t write(int fd, const void *buf, size_t size);
27
28#endif /* ! SYSTEM_H */
29