system.c (377B)
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#include "system.h" 8 9#include <asm/unistd.h> 10 11#include "compiler.h" 12 13void __noreturn exit(int n) 14{ 15 syscall(__NR_exit, n); 16 __unreachable(); 17} 18 19ssize_t write(int fd, const void *buf, size_t size) 20{ 21 return syscall(__NR_write, fd, buf, size); 22}