/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 152 static int omap4_i2c_do_xfer(i2c_slave_t *slave, void *data, size_t size, bool write, argument 230 static int omap4_i2c_slave_read(i2c_slave_t *slave, void *data, size_t size, argument 236 omap4_i2c_slave_write(i2c_slave_t *slave, const void *data, size_t size, bool repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 33 static exception_t ensurePortOperationAllowed(cap_t cap, uint32_t start_port, uint32_t size) argument
|
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | common.c | 130 load_elf(const char *name, void *elf, paddr_t dest_paddr, struct image_info *info, int keep_headers, __attribute__((unused)) unsigned long size, __attribute__((unused)) const char *hash) argument
|
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/imx6/ |
H A D | platform_init.c | 118 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local 197 uint32_t size = 0; local
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 24 uint32_t size; member in struct:multiboot_mmap
|
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/tk1/ |
H A D | platform_init.c | 140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 92 int i, size; local [all...] |
H A D | fdt_rw.c | 174 int fdt_add_mem_rsv(void *fdt, uint64_t address, uint64_t size) argument
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | constants.h | 93 static inline seL4_Word seL4_MaxExtraRefills(seL4_Word size) argument
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 447 word_t size = BIT((SMMU_PD_INDEX_BITS)); local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vchan/src/ |
H A D | vchan_component.c | 80 int libvchan_write(libvchan_t *ctrl, const void *data, size_t size) argument 85 int libvchan_read(libvchan_t *ctrl, void *data, size_t size) argument 90 int libvchan_send(libvchan_t *ctrl, const void *data, size_t size) argument 95 int libvchan_recv(libvchan_t *ctrl, void *data, size_t size) argument 137 static size_t get_actionsize(int type, size_t size, vchan_buf_t *buf) argument 152 libvchan_readwrite(libvchan_t *ctrl, void *data, size_t size, int cmd, int stream) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_vm.h | 65 size_t size; member in struct:vm_ram_region
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 52 static void set_io_in_unhandled(vm_vcpu_t *vcpu, unsigned int size) argument 64 static void set_io_in_value(vm_vcpu_t *vcpu, unsigned int value, unsigned int size) argument 131 unsigned int size; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_image.c | 135 static int guest_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | guest_boot_init.c | 41 static int make_guest_cmd_line_continued(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, argument 83 int size = vbeinfo.vbeInterfaceLen + (pm_base - aligned_pm); local [all...] |
H A D | guest_image.c | 45 static int guest_elf_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument 51 static int guest_elf_read_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument 335 static int load_module_continued(vm_t *vm, uintptr_t paddr, void *addr, size_t size, size_t offset, void *cookie) argument
|
H A D | acpi.c | 55 make_guest_acpi_tables_continued(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 20 int vmm_pci_mem_device_read(void *cookie, int offset, int size, uint32_t *result) argument 39 int vmm_pci_mem_device_write(void *cookie, int offset, int size, uint32_t value) argument 63 vmm_pci_entry_ignore_write(void *cookie, int offset, int size, uint32_t value) argument 107 passthrough_pci_config_ioread(void *cookie, int offset, int size, uint32_t *result) argument 126 passthrough_pci_config_iowrite(void *cookie, int offset, int size, uint32_t val) argument 145 pci_bar_emul_check_range(unsigned int offset, unsigned int size) argument 171 pci_irq_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 189 pci_irq_emul_write(void *cookie, int offset, int size, uint32_t value) argument 203 pci_bar_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 219 pci_bar_emul_write(void *cookie, int offset, int size, uint32_t value) argument 233 pci_bar_passthrough_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 239 pci_bar_passthrough_emul_write(void *cookie, int offset, int size, uint32_t value) argument 294 pci_cap_emul_read(void *cookie, int offset, int size, uint32_t *result) argument 353 pci_cap_emul_write(void *cookie, int offset, int size, uint32_t value) argument [all...] |
H A D | virtio_net_emul.c | 228 bool net_device_emul_io_in(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int *result) argument 247 bool net_device_emul_io_out(struct virtio_emul *emul, unsigned int offset, unsigned int size, unsigned int value) argument
|
H A D | virtio_net.c | 23 static int virtio_net_io_in(void *cookie, unsigned int port_no, unsigned int size, unsigned int *result) argument 36 static int virtio_net_io_out(void *cookie, unsigned int port_no, unsigned int size, unsigned int value) argument 88 static void *malloc_dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 100 static void malloc_dma_free(void *cookie, void *addr, size_t size) argument 105 static uintptr_t malloc_dma_pin(void *cookie, void *addr, size_t size) argument 110 static void malloc_dma_unpin(void *cookie, void *addr, size_t size) argument 114 static void malloc_dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_ argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | guest_memory_util.c | 85 size_t size; local
|
/seL4-test-master/projects/musllibc/src/malloc/ |
H A D | malloc.c | 464 size_t final_size, new_size, size; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 117 static void *_try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument 171 static void *_allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument 313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument 466 resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) argument 499 resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) argument [all...] |
/seL4-test-master/projects/musllibc/arch/aarch64/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|
/seL4-test-master/projects/musllibc/arch/aarch64_sel4/bits/ |
H A D | signal.h | 29 unsigned int size; member in struct:_aarch64_ctx
|