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