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