system.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2019  Arm Limited
 * Original author: Dave Martin <[email protected]>
 */

#include "system.h"

#include <asm/unistd.h>

void __noreturn exit(int n)
{
	syscall(__NR_exit, n);
	unreachable();
}

ssize_t write(int fd, const void *buf, size_t size)
{
	return syscall(__NR_write, fd, buf, size);
}