1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 #ifndef UNISTD_H
6 #define UNISTD_H
7 
8 #include <stdint.h>
9 #include <stddef.h>
10 
11 #define __ssize_t_defined
12 typedef intptr_t ssize_t;
13 
14 /* @fd must be 1 or 2. Writes to the secure console. */
15 ssize_t write(int fd, const void *buf, size_t count);
16 
17 #endif
18