/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | delegate_types.h | 20 uint8_t data[MAX_MEM_RANGE]; member in struct:delegate_mem_range
|
/seL4-camkes-master/projects/camkes/apps/testrefin/ |
H A D | my_struct.h | 15 int data[100]; member in struct:__anon24
|
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/ |
H A D | adder.c | 11 void a_calculate(payload_t *data) argument
|
/seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/ |
H A D | client_events.c | 17 void event_handler(void *data) argument
|
/seL4-camkes-master/projects/camkes/apps/testdataportrpc/ |
H A D | ctypes.h | 11 char data[100]; member in struct:__anon22 15 char data[8192]; member in struct:__anon23
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | fbuffer.h | 26 static inline int msgpack_fbuffer_write(void* data, const char* buf, size_t len) argument
|
/seL4-camkes-master/projects/musllibc/src/crypt/ |
H A D | crypt_r.c | 12 char *__crypt_r(const char *key, const char *salt, struct crypt_data *data) argument
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | list.h | 78 void *data; member in struct:list_node
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/include/ |
H A D | socket.h | 15 char data[100]; member in struct:__anon19
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Transport/include/ |
H A D | socket.h | 15 char data[100]; member in struct:__anon21
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Sender/include/ |
H A D | socket.h | 15 char data[100]; member in struct:__anon20
|
/seL4-camkes-master/projects/musllibc/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-camkes-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-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | guest_vcpu_fault.c | 9 seL4_Word emulate_vcpu_fault(vm_vcpu_t *vcpu, seL4_Word data) argument
|
/seL4-camkes-master/projects/camkes/apps/uart/components/Client/src/ |
H A D | client.c | 13 char *data = buf; local
|
/seL4-camkes-master/projects/camkes/apps/dhcp/src/ |
H A D | util.c | 13 uint64_t make_mac(const char *data) { argument
|
/seL4-camkes-master/projects/camkes/apps/uart_cogent/components/Client/src/ |
H A D | client.c | 13 char *data = buf; local
|
/seL4-camkes-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-camkes-master/projects/musllibc/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-camkes-master/projects/musllibc/src/select/ |
H A D | pselect.c | 9 syscall_arg_t data[2] = { (uintptr_t)mask, _NSIG/8 }; local
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | arch.c | 24 get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
/seL4-camkes-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-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 23 void *data; member in struct:reset_sys
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
H A D | server.h | 25 void *data; member in struct:sel4rpc_env
|