1#ifndef _STRING_H_INCLUDED
2#define _STRING_H_INCLUDED
6#define WIDEN_(x) L ## x
7#define WIDEN(x) WIDEN_(x)
9void*
memset(
void* s,
int c,
size_t n);
10void*
memcpy(
void* dest,
const void* src,
size_t n);
11int memcmp(
const void* a,
const void* b,
size_t n);
13size_t wcslen(
const CHAR16* s);
14int wcscpy(CHAR16* d,
const CHAR16* s);
15int wcscmp(
const CHAR16* s1,
const CHAR16* s2);
16int wcscasecmp(
const CHAR16* s1,
const CHAR16* s2);
17size_t wcstombs(
char* dest,
const CHAR16* src,
size_t n);
19size_t strlen(
const char* s);
20size_t strcpy(
char* d,
const char* s);
28void init_stdlib(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE* system_table);
30extern EFI_BOOT_SERVICES*
BS;
size_t strlen(const char *str)
void * memcpy(void *dest, void const *source, size_t size)
void * memset(void *dest, int c, size_t size)
int memcmp(const void *s1, const void *s2, size_t size)
int wprintf(const CHAR16 *format,...)
void * malloc(size_t size)
size_t strcpy(char *d, const char *s)
size_t wcslen(const CHAR16 *s)
void init_stdlib(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table)
int wcscpy(CHAR16 *d, const CHAR16 *s)
void * realloc(void *ptr, size_t size)
size_t wcstombs(char *dest, const CHAR16 *src, size_t n)
int wcscmp(const CHAR16 *s1, const CHAR16 *s2)
int wcscasecmp(const CHAR16 *s1, const CHAR16 *s2)
uint16_t size
Size of the loaded file.