system.c

 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}