/seL4-refos-master/libs/libmuslc/src/crypt/ |
H A D | crypt_r.c | 12 char *__crypt_r(const char *key, const char *salt, struct crypt_data *data) argument
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | list.h | 78 void *data; member in struct:list_node
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | list.h | 78 void *data; member in struct:list_node
|
/seL4-refos-master/libs/libmuslc/src/ldso/ |
H A D | dl_iterate_phdr.c | 7 static int static_dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | serial.c | 25 const unsigned char *data = (const unsigned char *)vdata; local 41 char *data = (char *)vdata; local
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | serial.c | 25 const unsigned char *data = (const unsigned char *)vdata; local 41 char *data = (char *)vdata; local
|
/seL4-refos-master/libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
H A D | cvector.h | 30 cvector_item_t* data; member in struct:cvector_s
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 29 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | mount.c | 4 int mount(const char *special, const char *dir, const char *fstype, unsigned long flags, const void *data) argument
|
H A D | ptrace.c | 10 void *addr, *data, *addr2; local
|
/seL4-refos-master/libs/libmuslc/src/select/ |
H A D | pselect.c | 9 syscall_arg_t data[2] = { (uintptr_t)mask, _NSIG/8 }; local
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 20 seL4_X86_BootInfo_mmap_t data; local 31 seL4_X86_BootInfo_mmap_t data; local
|
/seL4-refos-master/libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 20 seL4_X86_BootInfo_mmap_t data; local 31 seL4_X86_BootInfo_mmap_t data; local
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 23 void *data; member in struct:reset_sys
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 23 void *data; member in struct:reset_sys
|
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | stdio.c | 25 refos_seL4_debug_override_writev(void *data, size_t count) argument
|
/seL4-refos-master/libs/libsel4muslcsys/include/muslcsys/ |
H A D | io.h | 36 void *data; member in struct:muslcsys_fd
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | serial.c | 25 const char *data = (const char *)vdata; local
|
/seL4-refos-master/libs/libsel4simple/src/ |
H A D | simple.c | 29 int simple_vka_cspace_alloc(void *data, seL4_CPtr *slot) argument 58 void simple_vka_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *path) argument
|
/seL4-refos-master/libs/libsel4utils/src/time_server/ |
H A D | client.c | 25 static int client_get_time(void *data, uint64_t *time) argument 35 static int client_set_timeout(void *data, uint64_t ns, timeout_type_t type) argument
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | state.c | 49 conserv_writev_override(void *data, size_t count) argument
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | stdio.c | 25 refos_seL4_debug_override_writev(void *data, size_t count) argument
|