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

 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}