blob: d1bb0375c5322dffed2530412159a9ca4b6dfb2e [file] [log] [blame]
#ifndef BIOS_STRING_H
#define BIOS_STRING_H
#include <stddef.h>
unsigned long strlen(const char *buf);
char *strcat(char *dest, const char *src);
char *strcpy(char *dest, const char *src);
int strcmp(const char *a, const char *b);
char *strchr(const char *s, int c);
char *strstr(const char *s1, const char *s2);
int memcmp(const void *s1, const void *s2, size_t n);
void *memmove(void *dest, const void *src, size_t n);
void *memchr(const void *s, int c, size_t n);
static inline void *memset(void *s, int c, size_t n)
{
return __builtin_memset(s, c, n);
}
static inline void *memcpy(void *dest, const void *src, size_t n)
{
return __builtin_memcpy(dest, src, n);
}
void *malloc_align(int n, int align);
void *malloc_fseg_align(int n, int align);
static inline void *malloc(int n)
{
return malloc_align(n, 16);
}
static inline void *malloc_fseg(int n)
{
return malloc_fseg_align(n, 16);
}
#endif