/seL4-refos-master/libs/libmuslc/src/malloc/ |
H A D | aligned_alloc.c | 3 void *__memalign(size_t, size_t); 5 void *aligned_alloc(size_t align, size_t len)
|
H A D | calloc.c | 4 void *__malloc0(size_t); 6 void *calloc(size_t m, size_t n) 8 if (n && m > (size_t)-1/n) {
|
H A D | malloc_usable_size.c | 3 void *(*const __realloc_dep)(void *, size_t) = realloc; 6 size_t psize, csize; 10 #define OVERHEAD (2*sizeof(size_t)) 14 size_t malloc_usable_size(void *p)
|
H A D | posix_memalign.c | 4 void *__memalign(size_t, size_t); 6 int posix_memalign(void **res, size_t align, size_t len)
|
/seL4-refos-master/libs/libmuslc/include/ |
H A D | malloc.h | 12 void *malloc (size_t); 13 void *calloc (size_t, size_t); 14 void *realloc (void *, size_t); 16 void *valloc (size_t); 17 void *memalign(size_t, size_t); 19 size_t malloc_usable_size(void *);
|
H A D | string.h | 25 void *memcpy (void *__restrict, const void *__restrict, size_t); 26 void *memmove (void *, const void *, size_t); 27 void *memset (void *, int, size_t); 28 int memcmp (const void *, const void *, size_t); 29 void *memchr (const void *, int, size_t); 32 char *strncpy (char *__restrict, const char *__restrict, size_t); 35 char *strncat (char *__restrict, const char *__restrict, size_t); 38 int strncmp (const char *, const char *, size_t); 41 size_t strxfrm (char *__restrict, const char *__restrict, size_t); [all...] |
H A D | uchar.h | 17 size_t c16rtomb(char *__restrict, char16_t, mbstate_t *__restrict); 18 size_t mbrtoc16(char16_t *__restrict, const char *__restrict, size_t, mbstate_t *__restrict); 20 size_t c32rtomb(char *__restrict, char32_t, mbstate_t *__restrict); 21 size_t mbrtoc32(char32_t *__restrict, const char *__restrict, size_t, mbstate_t *__restrict);
|
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | xattr.h | 14 ssize_t getxattr(const char *, const char *, void *, size_t); 15 ssize_t lgetxattr(const char *, const char *, void *, size_t); 16 ssize_t fgetxattr(int, const char *, void *, size_t); 17 ssize_t listxattr(const char *, char *, size_t); 18 ssize_t llistxattr(const char *, char *, size_t); 19 ssize_t flistxattr(int, char *, size_t); 20 int setxattr(const char *, const char *, const void *, size_t, int); 21 int lsetxattr(const char *, const char *, const void *, size_t, int); 22 int fsetxattr(int, const char *, const void *, size_t, int);
|
/seL4-refos-master/libs/libmuslc/src/ctype/ |
H A D | __ctype_get_mb_cur_max.c | 4 size_t __ctype_get_mb_cur_max()
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 22 size_t size; 31 size_t cookie; 32 k_r_malloc_header_t *(*morecore)(size_t cookie, struct mspace_k_r_malloc *k_r_malloc, size_t new_units); 35 void mspace_k_r_malloc_init(mspace_k_r_malloc_t *k_r_malloc, size_t cookie, k_r_malloc_header_t * (*morecore)(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units)); 36 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 22 size_t size; 31 size_t cookie; 32 k_r_malloc_header_t *(*morecore)(size_t cookie, struct mspace_k_r_malloc *k_r_malloc, size_t new_units); 35 void mspace_k_r_malloc_init(mspace_k_r_malloc_t *k_r_malloc, size_t cookie, k_r_malloc_header_t * (*morecore)(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units)); 36 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes);
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | libc.c | 5 size_t __hwcap; 6 size_t __sysinfo;
|
/seL4-refos-master/libs/libmuslc/src/string/ |
H A D | strncpy.c | 3 char *__stpncpy(char *, const char *, size_t); 5 char *strncpy(char *restrict d, const char *restrict s, size_t n)
|
/seL4-refos-master/libs/libelf/include/elf/ |
H A D | elf.h | 112 size_t elfSize; 136 int elf_newFile(void *file, size_t size, elf_t *res); 155 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res); 210 size_t elf_getNumProgramHeaders(elf_t *elfFile); 219 size_t elf_getNumSections(elf_t *elfFile); 228 size_t elf_getSectionStringTableIndex(elf_t *elf); 238 const char *elf_getStringTable(elf_t *elfFile, size_t string_segment); 259 void *elf_getSection(elf_t *elfFile, size_t i); 270 void *elf_getSectionNamed(elf_t *elfFile, const char *str, size_t *i); 280 const char *elf_getSectionName(elf_t *elfFile, size_t [all...] |
/seL4-refos-master/projects/util_libs/libelf/include/elf/ |
H A D | elf.h | 112 size_t elfSize; 136 int elf_newFile(void *file, size_t size, elf_t *res); 155 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res); 210 size_t elf_getNumProgramHeaders(elf_t *elfFile); 219 size_t elf_getNumSections(elf_t *elfFile); 228 size_t elf_getSectionStringTableIndex(elf_t *elf); 238 const char *elf_getStringTable(elf_t *elfFile, size_t string_segment); 259 void *elf_getSection(elf_t *elfFile, size_t i); 270 void *elf_getSectionNamed(elf_t *elfFile, const char *str, size_t *i); 280 const char *elf_getSectionName(elf_t *elfFile, size_t [all...] |
/seL4-refos-master/libs/librefos/include/refos/ |
H A D | share.h | 40 int refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, 51 int refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize,
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | stdio_copy.h | 25 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 27 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | stdio.h | 29 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 31 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/libs/libsel4muslcsys/include/ |
H A D | arch_stdio.h | 24 size_t __arch_write(char *data, size_t count) __attribute__((noinline)); 33 typedef size_t (*write_buf_fn)(void *data, size_t count);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
H A D | share.h | 40 int refos_share_read(char *dest, size_t len, char *bufVaddr, size_t bufSize, 51 int refos_share_write(char *src, size_t len, char *bufVaddr, size_t bufSize,
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | stdio_copy.h | 25 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 27 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | stdio.h | 29 typedef size_t (*stdio_read_fn_t)(void *data, size_t count); 31 typedef size_t (*stdio_write_fn_t)(void *data, size_t count);
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/include/ |
H A D | arch_stdio.h | 24 size_t __arch_write(char *data, size_t count) __attribute__((noinline)); 33 typedef size_t (*write_buf_fn)(void *data, size_t count);
|
/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | mprotect.c | 5 int __mprotect(void *addr, size_t len, int prot) 7 size_t start, end; 8 start = (size_t)addr & -PAGE_SIZE; 9 end = (size_t)((char *)addr + len + PAGE_SIZE-1) & -PAGE_SIZE;
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/ |
H A D | strops.h | 11 size_t strlen(const char *str); 13 int strncmp(const char *s1, const char *s2, size_t n); 14 void *memset(void *s, int c, size_t n); 15 void *memmove(void *dest, const void *src, size_t n); 16 void *memcpy(void *dest, const void *src, size_t n);
|