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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.