Searched defs:size (Results 126 - 150 of 196) sorted by relevance

12345678

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c152 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 Dioport.c33 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 Dcommon.c130 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 Dplatform_init.c118 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 Dmultiboot.h24 uint32_t size; member in struct:multiboot_mmap
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c140 uint32_t size = arm_monitor_vector_end - arm_monitor_vector; local
/seL4-test-master/projects/util_libs/libfdt/
H A Dfdtget.c92 int i, size; local
[all...]
H A Dfdt_rw.c174 int fdt_add_mem_rsv(void *fdt, uint64_t address, uint64_t size) argument
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dconstants.h93 static inline seL4_Word seL4_MaxExtraRefills(seL4_Word size) argument
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c447 word_t size = BIT((SMMU_PD_INDEX_BITS)); local
/seL4-test-master/projects/sel4_projects_libs/libsel4vchan/src/
H A Dvchan_component.c80 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 Dguest_vm.h65 size_t size; member in struct:vm_ram_region
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c52 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 Dguest_image.c135 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 Dguest_boot_init.c41 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 Dguest_image.c45 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 Dacpi.c55 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 Dpci_helper.c20 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 Dvirtio_net_emul.c228 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 Dvirtio_net.c23 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 Dguest_memory_util.c85 size_t size; local
/seL4-test-master/projects/musllibc/src/malloc/
H A Dmalloc.c464 size_t final_size, new_size, size; local
[all...]
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c117 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 Dsignal.h29 unsigned int size; member in struct:_aarch64_ctx
/seL4-test-master/projects/musllibc/arch/aarch64_sel4/bits/
H A Dsignal.h29 unsigned int size; member in struct:_aarch64_ctx

Completed in 298 milliseconds

12345678