/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci.h | 32 void *cookie; member in struct:vmm_pci_config 33 uint8_t (*ioread8)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 34 uint16_t (*ioread16)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 35 uint32_t (*ioread32)(void *cookie, vmm_pci_address_t addr, unsigned int offset); 36 void (*iowrite8)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint8_t val); 37 void (*iowrite16)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint16_t val); 38 void (*iowrite32)(void *cookie, vmm_pci_address_t addr, unsigned int offset, uint32_t val); 44 * @param {void *} cookie User supplied cookie to pass onto callback functions 45 * @param {int *(void *cookie, in 49 void *cookie; member in struct:vmm_pci_entry [all...] |
H A D | virtio_pci_console.h | 9 typedef void (*console_handle_irq_fn_t)(void *cookie);
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | vka.h | 35 utspace_vka_cookie_t *cookie = (utspace_vka_cookie_t*)malloc(sizeof(*cookie)); local 36 if (!cookie) { 42 _error = vka_utspace_alloc(vka, slot, type, sel4_size_bits, &cookie->original_cookie); 44 _error = vka_utspace_alloc_at(vka, slot, type, sel4_size_bits, paddr, &cookie->original_cookie); 48 cookie->type = type; 50 free(cookie); 51 cookie = NULL; 53 return (seL4_Word)cookie; 59 utspace_vka_cookie_t *cookie local 66 utspace_vka_cookie_t *cookie = (utspace_vka_cookie_t*)_cookie; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | guest_memory_util.c | 37 static vm_frame_t device_frame_iterator(uintptr_t addr, void *cookie) argument 44 struct device_frame_cookie *device_cookie = (struct device_frame_cookie *)cookie; 70 static vm_frame_t ut_alloc_iterator(uintptr_t addr, void *cookie) argument 78 struct ut_alloc_iterator_cookie *alloc_cookie = (struct ut_alloc_iterator_cookie *)cookie; 116 static vm_frame_t maybe_device_alloc_iterator(uintptr_t addr, void *cookie) argument 121 vm_t *vm = (vm_t *)cookie; 139 static vm_frame_t frame_alloc_iterator(uintptr_t addr, void *cookie) argument 144 vm_t *vm = (vm_t *)cookie; 166 struct device_frame_cookie *cookie; local 172 err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct device_frame_cookie), (void **)&cookie); 226 struct device_frame_cookie *cookie; local 299 struct ut_alloc_iterator_cookie *cookie; local 314 struct ut_alloc_iterator_cookie *cookie; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | cspace.h | 22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); 23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path); 24 cspacepath_t (*make_path)(void *cookie, seL4_CPtr slot);
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 31 size_t cookie; member in struct:mspace_k_r_malloc 32 k_r_malloc_header_t *(*morecore)(size_t cookie, struct mspace_k_r_malloc *k_r_malloc, size_t new_units); 35 void mspace_k_r_malloc_init(mspace_k_r_malloc_t *k_r_malloc, size_t cookie, k_r_malloc_header_t * (*morecore)(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units));
|
H A D | mspace.h | 21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error); 22 void (*free)(struct allocman *alloc, void *cookie, void *ptr, size_t bytes);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | vm.c | 22 void *cookie) 34 vm->mem.unhandled_mem_fault_cookie = cookie; 39 void *cookie) 51 vm->run.notification_callback_cookie = cookie; 21 vm_register_unhandled_mem_fault_callback(vm_t *vm, unhandled_mem_fault_callback_fn fault_handler, void *cookie) argument 38 vm_register_notification_callback(vm_t *vm, notification_callback_fn notification_callback, void *cookie) argument
|
H A D | guest_memory_helpers.c | 11 size_t fault_length, void *cookie) 10 default_error_fault_callback(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | interface_registration.h | 22 if (!interface_registration_ops->cookie) { ZF_LOGE("cookie in interface_ops is NULL!"); return -EINVAL; } \ 25 typedef int (*ps_interface_register_fn_t)(void *cookie, ps_interface_type_t interface_type, void *interface_instance, 28 typedef int (*ps_interface_unregister_fn_t)(void *cookie, ps_interface_type_t interface_type, void *interface_instance); 41 typedef int (*ps_interface_find_fn_t)(void *cookie, ps_interface_type_t interface_type, 45 void *cookie; member in struct:__anon2 55 return interface_registration_ops->interface_register_fn(interface_registration_ops->cookie, interface_type, 63 return interface_registration_ops->interface_unregister_fn(interface_registration_ops->cookie, 72 return interface_registration_ops->interface_find_fn(interface_registration_ops->cookie, interface_type,
|
H A D | irq.h | 21 if (!irq_ops->cookie) return -EINVAL;\ 111 * @param cookie Cookie for the IRQ interface 118 typedef irq_id_t (*ps_irq_register_fn_t)(void *cookie, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data); 124 * @param cookie Cookie for the IRQ interface 129 typedef int (*ps_irq_unregister_fn_t)(void *cookie, irq_id_t irq_id); 132 void *cookie; member in struct:__anon8 140 return irq_ops->irq_register_fn(irq_ops->cookie, irq, callback, callback_data); 146 return irq_ops->irq_unregister_fn(irq_ops->cookie, irq_id);
|
H A D | io.h | 46 * @param cookie Cookie for the I/O Mapper 54 void *cookie, 63 * @param cookie Cookie for the I/O Mapper 68 void *cookie, 73 void *cookie; member in struct:ps_io_mapper 87 return io_mapper->io_map_fn(io_mapper->cookie, paddr, size, cached, flags); 97 io_mapper->io_unmap_fn(io_mapper->cookie, vaddr, size); 103 * @param cookie Cookie to the underlying I/O handler 111 void *cookie, 119 * @param cookie Cooki 133 void *cookie; member in struct:ps_io_port_ops 245 void *cookie; member in struct:ps_dma_man 378 void *cookie; member in struct:__anon4 474 void *cookie; member in struct:ps_fdt [all...] |
H A D | fdt.h | 55 * Given a devicetree path, this function will return a cookie that can be used in 61 * @param ret_cookie Storage that will have the pointer to the corresponding cookie written to. 68 * Cleans up a cookie that was initialised by ps_fdt_read_path. 71 * @param cookie A pointer to a initialised cookie. 75 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie); 79 * cookie passed in and calls a callback function at each register instance of 83 * @param cookie A pointer to a initialised cookie. 93 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_ [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/arm/sel4vm/arch/ |
H A D | guest_vm_arch.h | 20 typedef int (*unhandled_vcpu_fault_callback_fn)(vm_vcpu_t *vcpu, uint32_t hsr, void *cookie); 33 * @param {void *} unhandled_vcpu_callback_cookie A cookie to supply to the vcpu fault handler 42 * @function vm_register_unhandled_vcpu_fault_callback(vcpu, vcpu_fault_callback, cookie) 46 * @param {void *} A cookie to supply to the vcpu fault handler 50 void *cookie);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_irq_controller.h | 20 typedef void (*irq_ack_fn_t)(vm_vcpu_t *vcpu, int irq, void *cookie); 42 * @function vm_register_irq(vcpu, irq, ack_fn, cookie) 47 * @param {void *} cookie Cookie to pass back with IRQ acknowledgement function 50 int vm_register_irq(vm_vcpu_t *vcpu, int irq, irq_ack_fn_t ack_fn, void *cookie);
|
H A D | guest_memory_helpers.h | 18 * @function default_error_fault_callback(vm, vcpu, fault_addr, fault_length, cookie) 25 * @param {void *} cookie User cookie to pass onto callback 29 size_t fault_length, void *cookie);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 40 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr); local 41 assert(cookie); 42 (*cookie)--; 43 if (*cookie == 0) { 51 free(cookie); 57 int sel4utils_iommu_dma_alloc_iospace(void *cookie, void *vaddr, size_t size) argument 59 dma_man_t *dma = (dma_man_t *)cookie; 87 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr); local 88 if (cookie) { 90 (*cookie) 146 dma_alloc(void *cookie, size_t size, int align, int cached, ps_mem_flags_t flags) argument 169 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 | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument 33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) argument 38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie); 41 callback64(*(uint64_t*)i->var, i->varname, i->description, cookie);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument 47 ops->cookie = NULL;
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ |
H A D | guest_vcpu_fault.h | 22 * @function vmm_handle_arm_vcpu_exception(vcpu, hsr, cookie) 26 * @param {void *} cookie User supplied cookie to pass onto exception 29 int vmm_handle_arm_vcpu_exception(vm_vcpu_t *vcpu, uint32_t hsr, void *cookie);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/ |
H A D | vmm_pci_helper.h | 32 * @function vmm_pci_io_port_in(vcpu, cookie, port_no, size, result) 39 ioport_fault_result_t vmm_pci_io_port_in(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size, 43 * @function vmm_pci_io_port_out(vcpu, cookie, port_no, size, value) 50 ioport_fault_result_t vmm_pci_io_port_out(vm_vcpu_t *vcpu, void *cookie, unsigned int port_no, unsigned int size,
|
/seL4-test-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 14 /* Copy memory from the guest (vaddr) to our given memory destination (cookie) */ 15 memcpy(cookie + offset, vaddr, size); 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 21 /* Copy memory to our guest (vaddr) from our given memory location (cookie) */ 22 memcpy(vaddr, cookie + offset, size);
|
H A D | pci_helper.c | 20 int vmm_pci_mem_device_read(void *cookie, int offset, int size, uint32_t *result) argument 33 * We are passed the device header through the cookie parameter */ 34 memcpy(result, cookie + offset, size); 39 int vmm_pci_mem_device_write(void *cookie, int offset, int size, uint32_t value) argument 57 * We are passed the device header through the cookie parameter */ 58 memcpy(cookie + offset, &value, size); 63 int vmm_pci_entry_ignore_write(void *cookie, int offset, int size, uint32_t value) argument 107 static int passthrough_pci_config_ioread(void *cookie, int offset, int size, uint32_t *result) argument 109 pci_passthrough_device_t *dev = (pci_passthrough_device_t *)cookie; 112 *result = dev->config.ioread8(dev->config.cookie, de 126 passthrough_pci_config_iowrite(void *cookie, int offset, int size, uint32_t val) 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...] |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 40 /* allocation cookie for allocation(s) */ 201 static void *sel4platsupport_map_paddr(void *cookie, uintptr_t paddr, size_t size, int cached, argument 204 if (!cookie) { 205 ZF_LOGE("cookie is NULL"); 209 sel4platsupport_io_mapper_cookie_t *io_mapper = (sel4platsupport_io_mapper_cookie_t *)cookie; 232 static void sel4platsupport_unmap_vaddr(void *cookie, void *vaddr, UNUSED size_t size) argument 234 if (!cookie) { 235 ZF_LOGE("cookie is NULL"); 238 sel4platsupport_io_mapper_cookie_t *io_mapper = cookie; 260 sel4platsupport_io_mapper_cookie_t *cookie local 281 sel4platsupport_io_fdt_get(void *cookie) argument [all...] |
/seL4-test-master/projects/musllibc/src/stdio/ |
H A D | vsnprintf.c | 7 struct cookie { struct 16 struct cookie *c = f->cookie; 39 struct cookie c = { .s = n ? s : dummy, .n = n ? n-1 : 0 }; 45 .cookie = &c,
|