system.h

 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 <linux/compiler.h>
18
19#include <asm/hwcap.h>
20#include <asm/ptrace.h>
21#include <asm/unistd.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 */