11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2b0104773SPascal Brand /* 3b0104773SPascal Brand * Copyright (c) 2014, STMicroelectronics International N.V. 4b0104773SPascal Brand */ 5*7eaed3a3SEtienne Carriere #ifndef __UNISTD_H 6*7eaed3a3SEtienne Carriere #define __UNISTD_H 7b0104773SPascal Brand 8b0104773SPascal Brand #include <stdint.h> 9b0104773SPascal Brand #include <stddef.h> 10b0104773SPascal Brand 11b0104773SPascal Brand #define __ssize_t_defined 124a9bd0a7SPaul Swan typedef intptr_t ssize_t; 13b0104773SPascal Brand 14405a5072SJerome Forissier /* @fd must be 1 or 2. Writes to the secure console. */ 15405a5072SJerome Forissier ssize_t write(int fd, const void *buf, size_t count); 16405a5072SJerome Forissier 17*7eaed3a3SEtienne Carriere #endif /* __UNISTD_H */ 18