/seL4-refos-master/kernel/src/ |
H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument 21 for (len = 0; len + 1 < size && src[len]; len++) { 28 word_t strlcat(char *dest, const char *src, word_t size) argument 32 for (len = 0; len < size && dest[len]; len++); 33 /* check that dest was at least 'size' length to prevent inserting 35 if (len < size) { 36 for (; len + 1 < size && *src; len++, src++) {
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | ext2.c | 10 size_t size = f->rend - f->rpos; local 11 if (!size) return 0; 12 *sizep = size;
|
/seL4-refos-master/libs/libmuslc/src/thread/sh/ |
H A D | __unmapself.c | 20 void __unmapself(void *base, size_t size) argument 22 if (__sh_nommu) __unmapself_sh_nommu(base, size); 23 else __unmapself_sh_mmu(base, size);
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | gethostbyaddr.c | 10 size_t size = 63; local 15 h = malloc(size+=size+1); 21 (void *)(h+1), size-sizeof *h, &res, &h_errno);
|
H A D | gethostbyname2.c | 11 size_t size = 63; local 16 h = malloc(size+=size+1); 22 (void *)(h+1), size-sizeof *h, &res, &h_errno);
|
/seL4-refos-master/libs/libmuslc/src/passwd/ |
H A D | getpwent.c | 6 static size_t size; variable 21 __getpwent_a(f, &pw, &line, &size, &res); 28 __getpw_a(0, uid, &pw, &line, &size, &res); 35 __getpw_a(name, 0, &pw, &line, &size, &res);
|
H A D | fgetgrent.c | 9 size_t size=0, nmem=0; local 10 __getgrent_a(f, &gr, &line, &size, &mem, &nmem, &res);
|
H A D | fgetspent.c | 8 size_t size = 0; local 12 if (getline(&line, &size, f) >= 0 && __parsespent(line, &sp) >= 0) res = &sp;
|
/seL4-refos-master/libs/libmuslc/src/signal/x32/ |
H A D | restore.s | 7 .size __restore_rt,.-__restore_rt
|
/seL4-refos-master/libs/libmuslc/src/signal/x86_64/ |
H A D | restore.s | 7 .size __restore_rt,.-__restore_rt
|
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | __mo_lookup.c | 9 const char *__mo_lookup(const void *p, size_t size, const char *s) argument 16 if (n>=size/4 || o>=size-4*n || t>=size-4*n || ((o|t)%4)) 23 if (os >= size || ol >= size-os || ((char *)p)[os+ol]) 29 if (ts >= size || tl >= size-ts || ((char *)p)[ts+tl])
|
/seL4-refos-master/libs/libmuslc/src/sched/ |
H A D | sched_cpucount.c | 4 int __sched_cpucount(size_t size, const cpu_set_t *set) argument 8 for (i=0; i<size; i++) for (j=0; j<8; j++)
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | getlogin_r.c | 5 int getlogin_r(char *name, size_t size) argument 9 if (strlen(logname) >= size) return ERANGE;
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | helpers.h | 24 dma_addr_t dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment); 27 void dma_unpin_free(ps_dma_man_t *dma_man, void *virt, size_t size);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/ |
H A D | assembler.h | 21 .size _name, .-_name 32 .size _name, .-_name
|
/seL4-refos-master/tools/elfloader/include/ |
H A D | assembler.h | 21 .size _name, .-_name 32 .size _name, .-_name
|
/seL4-refos-master/kernel/include/machine/ |
H A D | assembler.h | 23 .size _name, .-_name 34 .size _name, .-_name
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 19 *ptr = malloc(size); 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 29 *ptr = calloc(nmemb, size); 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 19 *ptr = malloc(size); 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 29 *ptr = calloc(nmemb, size); 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cvector.c | 21 // Condition to decrease v->data size: size > (c * 2) + k 22 if ((v->count + 2) * 2 < v->size) { 23 v->size = (v->count + 2); 24 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 34 v->size = 0; 43 if (v->size == 0) { 44 v->size = CVECTOR_INIT_SIZE; 45 v->data = kmalloc(sizeof(cvector_item_t) * v->size); 50 if (v->size < [all...] |
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cvector.c | 21 // Condition to decrease v->data size: size > (c * 2) + k 22 if ((v->count + 2) * 2 < v->size) { 23 v->size = (v->count + 2); 24 v->data = krealloc(v->data, sizeof(cvector_item_t) * v->size); 34 v->size = 0; 43 if (v->size == 0) { 44 v->size = CVECTOR_INIT_SIZE; 45 v->data = kmalloc(sizeof(cvector_item_t) * v->size); 50 if (v->size < [all...] |
/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 24 k_r_malloc->base.s.size = 0; 27 if (p->s.size >= nunits) { /* big enough */ 28 if (p->s.size == nunits) { /* exactly */ 31 p->s.size -= nunits; 32 p += p->s.size; 33 p->s.size = nunits; 43 p->s.size = nunits; 65 if (bp + bp->s.size == p->s.ptr) { /* join to upper nbr */ 66 bp->s.size += p->s.ptr->s.size; [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 24 k_r_malloc->base.s.size = 0; 27 if (p->s.size >= nunits) { /* big enough */ 28 if (p->s.size == nunits) { /* exactly */ 31 p->s.size -= nunits; 32 p += p->s.size; 33 p->s.size = nunits; 43 p->s.size = nunits; 65 if (bp + bp->s.size == p->s.ptr) { /* join to upper nbr */ 66 bp->s.size += p->s.ptr->s.size; [all...] |
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | io.h | 48 * @param size amount of bytes to map. 56 size_t size, 65 * @param size the same size in bytes this memory was mapped in with originally 70 size_t size); 81 size_t size, 87 return io_mapper->io_map_fn(io_mapper->cookie, paddr, size, cached, flags); 93 size_t size) 97 io_mapper->io_unmap_fn(io_mapper->cookie, vaddr, size); 172 * @param size Siz 78 ps_io_map( const ps_io_mapper_t *io_mapper, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 90 ps_io_unmap( const ps_io_mapper_t *io_mapper, void *vaddr, size_t size) argument 253 ps_dma_alloc( const ps_dma_man_t *dma_man, size_t size, int align, int cache, ps_mem_flags_t flags) argument 265 ps_dma_free( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 275 ps_dma_pin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 285 ps_dma_unpin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 295 ps_dma_cache_op( const ps_dma_man_t *dma_man, void *addr, size_t size, dma_cache_op_t op) argument 306 ps_dma_cache_clean( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 314 ps_dma_cache_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 322 ps_dma_cache_clean_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 381 ps_malloc( const ps_malloc_ops_t *ops, size_t size, void **ptr) argument 410 ps_calloc( const ps_malloc_ops_t *ops, size_t nmemb, size_t size, void **ptr) argument 441 ps_free( const ps_malloc_ops_t *ops, size_t size, void *ptr) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 48 * @param size amount of bytes to map. 56 size_t size, 65 * @param size the same size in bytes this memory was mapped in with originally 70 size_t size); 81 size_t size, 87 return io_mapper->io_map_fn(io_mapper->cookie, paddr, size, cached, flags); 93 size_t size) 97 io_mapper->io_unmap_fn(io_mapper->cookie, vaddr, size); 172 * @param size Siz 78 ps_io_map( const ps_io_mapper_t *io_mapper, uintptr_t paddr, size_t size, int cached, ps_mem_flags_t flags) argument 90 ps_io_unmap( const ps_io_mapper_t *io_mapper, void *vaddr, size_t size) argument 253 ps_dma_alloc( const ps_dma_man_t *dma_man, size_t size, int align, int cache, ps_mem_flags_t flags) argument 265 ps_dma_free( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 275 ps_dma_pin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 285 ps_dma_unpin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 295 ps_dma_cache_op( const ps_dma_man_t *dma_man, void *addr, size_t size, dma_cache_op_t op) argument 306 ps_dma_cache_clean( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 314 ps_dma_cache_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 322 ps_dma_cache_clean_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument 381 ps_malloc( const ps_malloc_ops_t *ops, size_t size, void **ptr) argument 410 ps_calloc( const ps_malloc_ops_t *ops, size_t nmemb, size_t size, void **ptr) argument 441 ps_free( const ps_malloc_ops_t *ops, size_t size, void *ptr) argument [all...] |