1 // Copyright (c) 2015-2016 Nuxi, https://nuxi.nl/
2 //
3 // SPDX-License-Identifier: BSD-2-Clause
4 
5 #include <wasi/api.h>
6 #include <errno.h>
7 #include <unistd.h>
8 
write(int fildes,const void * buf,size_t nbyte)9 ssize_t write(int fildes, const void *buf, size_t nbyte) {
10   __wasi_ciovec_t iov = {.buf = buf, .buf_len = nbyte};
11   size_t bytes_written;
12   __wasi_errno_t error =
13       __wasi_fd_write(fildes, &iov, 1, &bytes_written);
14   if (error != 0) {
15     errno = error == ENOTCAPABLE ? EBADF : error;
16     return -1;
17   }
18   return bytes_written;
19 }
20