11bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 2b0104773SPascal Brand /* 3b0104773SPascal Brand * Copyright (c) 2014, STMicroelectronics International N.V. 4b0104773SPascal Brand */ 5b0104773SPascal Brand #ifndef UNISTD_H 6b0104773SPascal Brand #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 14*405a5072SJerome Forissier /* @fd must be 1 or 2. Writes to the secure console. */ 15*405a5072SJerome Forissier ssize_t write(int fd, const void *buf, size_t count); 16*405a5072SJerome Forissier 17b0104773SPascal Brand #endif 18