/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_attr_setguardsize.c | 3 int pthread_attr_setguardsize(pthread_attr_t *a, size_t size) argument 5 if (size > SIZE_MAX/8) return EINVAL; 6 a->_a_guardsize = size;
|
H A D | pthread_attr_setstacksize.c | 3 int pthread_attr_setstacksize(pthread_attr_t *a, size_t size) argument 5 if (size-PTHREAD_STACK_MIN > SIZE_MAX/4) return EINVAL; 7 a->_a_stacksize = size;
|
H A D | pthread_attr_setstack.c | 3 int pthread_attr_setstack(pthread_attr_t *a, void *addr, size_t size) argument 5 if (size-PTHREAD_STACK_MIN > SIZE_MAX/4) return EINVAL; 6 a->_a_stackaddr = (size_t)addr + size; 7 a->_a_stacksize = size;
|
/seL4-refos-master/libs/libmuslc/src/legacy/ |
H A D | valloc.c | 5 void *valloc(size_t size) argument 7 return memalign(PAGE_SIZE, size);
|
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | shmget.c | 6 int shmget(key_t key, size_t size, int flag) argument 8 if (size > PTRDIFF_MAX) size = SIZE_MAX; 10 return syscall(SYS_shmget, key, size, flag); 12 return syscall(SYS_ipc, IPCOP_shmget, key, size, flag);
|
/seL4-refos-master/libs/libmuslc/src/sched/ |
H A D | affinity.c | 7 int sched_setaffinity(pid_t tid, size_t size, const cpu_set_t *set) argument 9 return syscall(SYS_sched_setaffinity, tid, size, set); 12 int pthread_setaffinity_np(pthread_t td, size_t size, const cpu_set_t *set) argument 14 return -__syscall(SYS_sched_setaffinity, td->tid, size, set); 17 static int do_getaffinity(pid_t tid, size_t size, cpu_set_t *set) argument 19 long ret = __syscall(SYS_sched_getaffinity, tid, size, set); 21 if (ret < size) memset((char *)set+ret, 0, size-ret); 25 int sched_getaffinity(pid_t tid, size_t size, cpu_set_t *set) argument 27 return __syscall_ret(do_getaffinity(tid, size, se 30 pthread_getaffinity_np(pthread_t td, size_t size, cpu_set_t *set) argument [all...] |
/seL4-refos-master/libs/libsel4debug/include/sel4debug/ |
H A D | execinfo.h | 16 * the information in buffer. The argument size should be the number of void* 18 * entries that are obtained, and is at most size. 22 int backtrace(void **buffer, int size) __attribute__((no_instrument_function));
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
H A D | execinfo.h | 16 * the information in buffer. The argument size should be the number of void* 18 * entries that are obtained, and is at most size. 22 int backtrace(void **buffer, int size) __attribute__((no_instrument_function));
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | helpers.c | 16 dma_alloc_pin(ps_dma_man_t *dma_man, size_t size, int cached, int alignment) argument 18 void *virt = ps_dma_alloc(dma_man, size, alignment, cached, PS_MEM_NORMAL); 22 uintptr_t phys = ps_dma_pin(dma_man, virt, size); 25 ps_dma_free(dma_man, virt, size); 30 ps_dma_cache_clean_invalidate(dma_man, virt, size); 36 dma_unpin_free(ps_dma_man_t *dma_man, void *virt, size_t size) argument 38 ps_dma_unpin(dma_man, virt, size); 39 ps_dma_free(dma_man, virt, size);
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | getcwd.c | 7 char *getcwd(char *buf, size_t size) argument 12 size = PATH_MAX; 13 } else if (!size) { 17 if (syscall(SYS_getcwd, buf, size) < 0) return 0;
|
H A D | pread.c | 5 ssize_t pread(int fd, void *buf, size_t size, off_t ofs) argument 7 return syscall_cp(SYS_pread, fd, buf, size, __SYSCALL_LL_PRW(ofs));
|
H A D | pwrite.c | 5 ssize_t pwrite(int fd, const void *buf, size_t size, off_t ofs) argument 7 return syscall_cp(SYS_pwrite, fd, buf, size, __SYSCALL_LL_PRW(ofs));
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | xattr.c | 4 ssize_t getxattr(const char *path, const char *name, void *value, size_t size) argument 6 return syscall(SYS_getxattr, path, name, value, size); 9 ssize_t lgetxattr(const char *path, const char *name, void *value, size_t size) argument 11 return syscall(SYS_lgetxattr, path, name, value, size); 14 ssize_t fgetxattr(int filedes, const char *name, void *value, size_t size) argument 16 return syscall(SYS_fgetxattr, filedes, name, value, size); 19 ssize_t listxattr(const char *path, char *list, size_t size) argument 21 return syscall(SYS_listxattr, path, list, size); 24 ssize_t llistxattr(const char *path, char *list, size_t size) argument 26 return syscall(SYS_llistxattr, path, list, size); 29 flistxattr(int filedes, char *list, size_t size) argument 34 setxattr(const char *path, const char *name, const void *value, size_t size, int flags) argument 39 lsetxattr(const char *path, const char *name, const void *value, size_t size, int flags) argument 44 fsetxattr(int filedes, const char *name, const void *value, size_t size, int flags) argument [all...] |
H A D | remap_file_pages.c | 5 int remap_file_pages(void *addr, size_t size, int prot, size_t pgoff, int flags) argument 7 return syscall(SYS_remap_file_pages, addr, size, prot, pgoff, flags);
|
/seL4-refos-master/libs/libmuslc/src/passwd/ |
H A D | fgetpwent.c | 8 size_t size=0; local 10 __getpwent_a(f, &pw, &line, &size, &res);
|
H A D | getgrent.c | 18 size_t size=0, nmem=0; local 21 __getgrent_a(f, &gr, &line, &size, &mem, &nmem, &res); 28 size_t size=0, nmem=0; local 29 __getgr_a(0, gid, &gr, &line, &size, &mem, &nmem, &res); 36 size_t size=0, nmem=0; local 37 __getgr_a(name, 0, &gr, &line, &size, &mem, &nmem, &res);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | setbuffer.c | 4 void setbuffer(FILE *f, char *buf, size_t size) argument 6 setvbuf(f, buf, buf ? _IOFBF : _IONBF, size);
|
/seL4-refos-master/kernel/include/ |
H A D | string.h | 12 word_t strlcpy(char *dest, const char *src, word_t size); 13 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | cbpool.h | 22 uint32_t size; member in struct:cbpool_s 27 void cbpool_init(cbpool_t *p, uint32_t size); 29 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize); 33 uint32_t cbpool_alloc(cbpool_t *p, uint32_t size); 35 void cbpool_free(cbpool_t *p, uint32_t obj, uint32_t size);
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | cbpool.h | 22 uint32_t size; member in struct:cbpool_s 27 void cbpool_init(cbpool_t *p, uint32_t size); 29 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize); 33 uint32_t cbpool_alloc(cbpool_t *p, uint32_t size); 35 void cbpool_free(cbpool_t *p, uint32_t obj, uint32_t size);
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cbpool.c | 20 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize) { argument 23 p->size = size; 24 p->size_ntiles = (size / 32) + 1; 31 void cbpool_init(cbpool_t *p, uint32_t size) { argument 34 p->size = size; 35 p->size_ntiles = (size / 32) + 1; 48 uint32_t cbpool_alloc_internal(cbpool_t *p, uint32_t size, int st, int ed, int inc, bool lt) { argument 49 if (!size) { 70 cbpool_alloc(cbpool_t *p, uint32_t size) argument 74 cbpool_free(cbpool_t *p, uint32_t obj, uint32_t size) argument [all...] |
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cbpool.c | 20 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize) { argument 23 p->size = size; 24 p->size_ntiles = (size / 32) + 1; 31 void cbpool_init(cbpool_t *p, uint32_t size) { argument 34 p->size = size; 35 p->size_ntiles = (size / 32) + 1; 48 uint32_t cbpool_alloc_internal(cbpool_t *p, uint32_t size, int st, int ed, int inc, bool lt) { argument 49 if (!size) { 70 cbpool_alloc(cbpool_t *p, uint32_t size) argument 74 cbpool_free(cbpool_t *p, uint32_t obj, uint32_t size) argument [all...] |
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 25 * |canary|size|memory...|canary| 30 * The 'size' stored is the size the user requested, not the size including 84 size_t size; member in struct:__anon632 101 /* Adjust a size that is about to be passed to the real allocation functions in 104 static size_t adjust_size(size_t size) argument 106 return size + sizeof(metadata_t) + sizeof(uintptr_t); 110 static void *box(void *ptr, size_t size) argument 118 unaligned_uintptr_t *post = ptr + size; 226 __wrap_malloc(size_t size) argument 263 __wrap_calloc(size_t num, size_t size) argument 281 __wrap_realloc(void *ptr, size_t size) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 25 * |canary|size|memory...|canary| 30 * The 'size' stored is the size the user requested, not the size including 84 size_t size; member in struct:__anon794 101 /* Adjust a size that is about to be passed to the real allocation functions in 104 static size_t adjust_size(size_t size) argument 106 return size + sizeof(metadata_t) + sizeof(uintptr_t); 110 static void *box(void *ptr, size_t size) argument 118 unaligned_uintptr_t *post = ptr + size; 226 __wrap_malloc(size_t size) argument 263 __wrap_calloc(size_t num, size_t size) argument 281 __wrap_realloc(void *ptr, size_t size) argument [all...] |
/seL4-refos-master/kernel/tools/hardware/ |
H A D | memory.py | 16 def __init__(self, base: int, size: int, owner: 'WrappedNode'): 18 self.size = size 23 ret = Region(other.base, other.size) 27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size) 30 return self.base == other.base and self.size == other.size 40 return hash((self.base, self.size)) 44 ''' create a region from a start/end rather than start/size ''' [all...] |