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 13 void __noreturn exit(int n) 14 { 15 syscall(__NR_exit, n); 16 __unreachable(); 17 } 18 19 ssize_t write(int fd, const void *buf, size_t size) 20 { 21 return syscall(__NR_write, fd, buf, size); 22 } 23