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