/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | utf.c | 11 int utf8_encode(int32_t codepoint, char *buffer, size_t *size) argument 83 size_t utf8_check_full(const char *buffer, size_t size, int32_t *codepoint) argument [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
H A D | rumpdma.c | 38 rumpcomp_pci_dmalloc(size_t size, size_t align, argument 72 rumpcomp_pci_dmafree(unsigned long mem, size_t size) argument
|
/seL4-camkes-master/tools/rumprun/platform/xen/pci/ |
H A D | rumphyper_dma.c | 39 rumpcomp_pci_dmalloc(size_t size, size_t align, argument
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | ioremap.c | 31 static void *__do_ioremap(unsigned long phys_addr, unsigned long size, argument 62 void *minios_ioremap(unsigned long phys_addr, unsigned long size) argument 67 void *minios_ioremap_nocache(unsigned long phys_addr, unsigned long size) argument 74 void minios_iounmap(void *virt_addr, unsigned long size) argument
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | cpio-strip.c | 104 unsigned long size; local
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | virtqueue_template.c | 19 int camkes_virtqueue_channel_register(int virtqueue_id, const char *interface_name, unsigned queue_len, size_t size, argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | rpc-connector-common-to.c | 88 unsigned size; local
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | netbuf.c | 102 netbuf_alloc(struct netbuf *buf, u16_t size) argument 151 netbuf_ref(struct netbuf *buf, const void *dataptr, u16_t size) argument [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | memp.h | 136 u16_t size; member in struct:memp_malloc_helper
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | services.h | 39 static inline void *sdhc_map_device(struct ps_io_mapper *o, uintptr_t paddr, int size) argument 44 static inline void *ps_dma_alloc_pinned(ps_dma_man_t *dma_man, size_t size, int align, int cache, ps_mem_flags_t flags, argument 56 static inline void ps_dma_free_pinned(ps_dma_man_t *dma_man, void *addr, size_t size) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 26 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument 31 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | cross_vm_connection.h | 35 size_t size; member in struct:crossvm_dataport_handle
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/cpp11/ |
H A D | array.hpp | 106 uint32_t size = checked_get_container_size(v.size()); local 121 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | tuple.hpp | 53 uint32_t size = checked_get_container_size(sizeof...(Args)); local 160 uint32_t size = checked_get_container_size(sizeof...(Args)); local
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | map.hpp | 93 uint32_t size = checked_get_container_size(v.size()); local 113 uint32_t size local 178 uint32_t size = checked_get_container_size(v.size()); local 198 uint32_t size = checked_get_container_size(v.size()); local 272 uint32_t size = checked_get_container_size(v.size()); local 292 uint32_t size = checked_get_container_size(v.size()); local [all...] |
H A D | raw.hpp | 30 uint32_t size; member in struct:msgpack::type::raw_ref [all...] |
H A D | v4raw.hpp | 30 uint32_t size; member in struct:msgpack::type::v4raw_ref [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/tr1/ |
H A D | unordered_map.hpp | 67 uint32_t size = checked_get_container_size(v.size()); local 86 uint32_t size = checked_get_container_size(v.size()); local 124 uint32_t size = checked_get_container_size(v.size()); local 143 uint32_t size = checked_get_container_size(v.size()); local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | sbuffer.h | 28 size_t size; member in struct:msgpack_sbuffer
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_c.cpp | 496 const size_t size = 0; local 522 const size_t size = 255; local 549 const size_t size = 256; local 576 const size_t size = 65535; local 603 const size_t size = 65536; local [all...] |
/seL4-camkes-master/projects/projects_libs/libringbuffer/src/ |
H A D | ringbuffer.c | 20 size_t size; member in struct:ringbuffer 24 ringbuffer_t *rb_new(void *base, size_t size) { argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
H A D | dataport.c | 34 int camkes_dataport_arch_flush_cache(size_t start_offset, size_t size, argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | tqueue.c | 180 int tqueue_init_static(tqueue_t *tq, ps_malloc_ops_t *mops, int size) argument
|
/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | jsmn.h | 63 int size; member in struct:__anon884
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | xattr.c | 4 ssize_t getxattr(const char *path, const char *name, void *value, size_t size) argument 9 ssize_t lgetxattr(const char *path, const char *name, void *value, size_t size) argument 14 ssize_t fgetxattr(int filedes, const char *name, void *value, size_t size) argument 19 ssize_t listxattr(const char *path, char *list, size_t size) argument 24 ssize_t llistxattr(const char *path, char *list, size_t size) argument 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...] |