Searched refs:cookie (Results 1 - 25 of 136) sorted by relevance

123456

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dpci.h32 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 Dvirtio_pci_console.h9 typedef void (*console_handle_irq_fn_t)(void *cookie);
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dvka.h35 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 Dguest_memory_util.c37 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 Dcspace.h22 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 Dk_r_malloc.h31 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 Dmspace.h21 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 Dvm.c22 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 Dguest_memory_helpers.c11 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 Dinterface_registration.h22 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 Dirq.h21 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 Dio.h46 * @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 Dfdt.h55 * 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 Dguest_vm_arch.h20 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 Dguest_irq_controller.h20 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 Dguest_memory_helpers.h18 * @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 Diommu_dma.c40 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 Dprofile.c24 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 Dio.c16 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 Dguest_vcpu_fault.h22 * @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 Dvmm_pci_helper.h32 * @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 Dvirtio_emul_helpers.c12 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 Dpci_helper.c20 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 Dio.c40 /* 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 Dvsnprintf.c7 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,

Completed in 207 milliseconds

123456