/*
 * posix_additions.h
 *
 *  Created on: Feb 5, 2021
 *      Author: jief
 */

#ifndef PLATFORM_POSIX_POSIX_ADDITIONS_H_
#define PLATFORM_POSIX_POSIX_ADDITIONS_H_

const char* efiStrError(EFI_STATUS errnum);
const char* strguid(EFI_GUID* guid);

//int snwprintf(wchar_t*, size_t len, const char *__restrict format, ...) __attribute__((__format__ (__printf__, 3, 4)));

size_t clover_strlen(const char *str);

#endif /* PLATFORM_POSIX_POSIX_ADDITIONS_H_ */