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