| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | device_utils.c | 172 int vm_install_listening_ram(vm_t *vm, uintptr_t addr, size_t size) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_emul.c | 41 static int emul_io_in(virtio_emul_t *emul, unsigned int offset, unsigned int size, unsigned int *result) argument
70 static int emul_io_out(virtio_emul_t *emul, unsigned int offset, unsigned int size, unsigned int value) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
| H A D | vmm_pci_helper.c | 25 size_t size = cfg->base_addr_size[i]; local
67 vmm_pci_io_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument
118 vmm_pci_io_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument
[all...] |
| /seL4-camkes-master/projects/camkes/apps/fdtgen/ |
| H A D | fdt_utils.c | 97 uint64_t addr, size; local
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
| H A D | object.h | 48 uint32_t size; member in struct:__anon509
53 uint32_t size; member in struct:__anon510
58 uint32_t size; member in struct:__anon511
63 uint32_t size; member in struct:__anon512
69 uint32_t size; member in struct:__anon513
|
| H A D | unpack.h | 207 static inline bool msgpack_unpacker_reserve_buffer(msgpack_unpacker* mpac, size_t size) argument
223 static inline void msgpack_unpacker_buffer_consumed(msgpack_unpacker* mpac, size_t size) argument
[all...] |
| H A D | zone.h | 90 static inline void* msgpack_zone_malloc_no_align(msgpack_zone* zone, size_t size) argument
106 static inline void* msgpack_zone_malloc(msgpack_zone* zone, size_t size) argument
[all...] |
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
| H A D | zone.c | 67 void* msgpack_zone_malloc_expand(msgpack_zone* zone, size_t size) argument
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | hid.c | 249 memcpy(xact_get_vaddr(&xact[1]), buf, size); local
229 usb_hid_set_report(struct usb_hid_device *hid, enum hid_report_type type, void *buf, int size) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | alloc.c | 84 size_t size; member in struct:__anon550
104 static size_t adjust_size(size_t size) argument
110 static void *box(void *ptr, size_t size) argument
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-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | iommu_dma.c | 34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size) argument
57 int sel4utils_iommu_dma_alloc_iospace(void *cookie, void *vaddr, size_t size) argument
146 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
169 static void dma_free(void *cookie, void *addr, size_t size) argument
176 dma_pin(void *cookie, void *addr, size_t size) argument
181 dma_unpin(void *cookie, void *addr, size_t size) argument
185 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument
[all...] |
| H A D | page_dma.c | 36 static void dma_free(void *cookie, void *addr, size_t size) argument
55 static uintptr_t dma_pin(void *cookie, void *addr, size_t size) argument
66 static void *dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument
162 dma_unpin(void *cookie, void *addr, size_t size) argument
166 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libcpio/src/ |
| H A D | cpio.c | 171 void *cpio_get_entry(void *archive, unsigned long len, int n, const char **name, unsigned long *size) argument
203 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size) argument
|
| /seL4-camkes-master/projects/util_libs/libfdt/ |
| H A D | fdt.c | 87 check_block_(uint32_t hdrsize, uint32_t totalsize, uint32_t base, uint32_t size) argument
|
| H A D | fdt.h | 78 fdt64_t size; member in struct:fdt_reserve_entry
|
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | pci.c | 28 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size) { argument
32 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size) { argument
|
| H A D | virtual_device.c | 191 uint32_t libpci_vdevice_ioread(libpci_vdevice_t* self, int offset, int size){ argument
252 libpci_vdevice_iowrite(libpci_vdevice_t* self, int offset, int size, uint32_t val) argument
[all...] |
| H A D | virtual_pci.c | 109 int libpci_virtual_pci_ioread(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t* val, uint32_t size) { argument
153 int libpci_virtual_pci_iowrite(libpci_virtual_pci_t* self, uint32_t port_no, uint32_t val, uint32_t size) { argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 147 static inline ssize_t ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, argument
171 static inline ssize_t ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 59 uint8_t size; member in struct:acpi_gastruct
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
| H A D | local_time_manager.c | 167 int tm_init(time_manager_t *tm, ltimer_t *ltimer, ps_io_ops_t *ops, int size) { argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | regions.c | 177 find_space(const RegionList_t* rlist, size_t size, argument
200 split_region(RegionList_t* rlist, int index, size_t size) argument
[all...] |
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | file.c | 120 ssize_t file_read(file_t* f, void* buf, size_t size) argument
126 ssize_t file_pread(file_t* f, void* buf, size_t size, off_t offset) argument
132 ssize_t file_write(file_t* f, const void* buf, size_t size) argument
138 ssize_t file_pwrite(file_t* f, const void* buf, size_t size, off_ argument
[all...] |
| /seL4-camkes-master/projects/musllibc/src/internal/ |
| H A D | libc.h | 17 size_t len, size, align, offset; member in struct:tls_module
|
| /seL4-camkes-master/projects/musllibc/src/thread/ |
| H A D | pthread_create.c | 184 size_t size, guard; local
[all...] |