// SPDX-License-Identifier: GPL-2.0/* * Copyright (C) 2019 Arm Limited * Original author: Dave Martin <Dave.Martin@arm.com> */#include"system.h"#include<asm/unistd.h>#include"compiler.h"void__noreturnexit(intn){syscall(__NR_exit,n);__unreachable();}ssize_twrite(intfd,constvoid*buf,size_tsize){returnsyscall(__NR_write,fd,buf,size);}