Searched refs:size (Results 1 - 25 of 420) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_attr_setguardsize.c3 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 Dpthread_attr_setstacksize.c3 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 Dpthread_attr_setstack.c3 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 Dvalloc.c5 void *valloc(size_t size) argument
7 return memalign(PAGE_SIZE, size);
/seL4-refos-master/libs/libmuslc/src/ipc/
H A Dshmget.c6 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 Daffinity.c7 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 Dexecinfo.h16 * 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 Dexecinfo.h16 * 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 Dhelpers.c16 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 Dgetcwd.c7 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 Dpread.c5 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 Dpwrite.c5 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 Dxattr.c4 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 Dremap_file_pages.c5 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 Dfgetpwent.c8 size_t size=0; local
10 __getpwent_a(f, &pw, &line, &size, &res);
H A Dgetgrent.c18 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 Dsetbuffer.c4 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 Dstring.h12 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 Dcbpool.h22 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 Dcbpool.h22 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 Dcbpool.c20 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 Dcbpool.c20 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 Dalloc.c25 * |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 Dalloc.c25 * |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 Dmemory.py16 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...]

Completed in 102 milliseconds

1234567891011>>