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

1234567

/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/picotcp/modules/
H A Dpico_icmp4.c230 static int8_t pico_icmp4_send_echo(struct pico_icmp4_ping_cookie *cookie) argument
234 struct pico_device *dev = pico_ipv4_source_dev_find(&cookie->dst);
238 echo = pico_proto_ipv4.alloc(&pico_proto_ipv4, dev, (uint16_t)(PICO_ICMPHDR_UN_SIZE + cookie->size));
246 hdr->hun.ih_idseq.idseq_id = short_be(cookie->id);
247 hdr->hun.ih_idseq.idseq_seq = short_be(cookie->seq);
248 echo->transport_len = (uint16_t)(PICO_ICMPHDR_UN_SIZE + cookie->size);
250 echo->payload_len = cookie->size;
253 pico_ipv4_frame_push(echo, &cookie->dst, PICO_PROTO_ICMP4);
260 struct pico_icmp4_ping_cookie *cookie = (struct pico_icmp4_ping_cookie *)arg; local
263 if(pico_tree_findKey(&Pings, cookie)) {
281 send_ping(struct pico_icmp4_ping_cookie *cookie) argument
311 struct pico_icmp4_ping_cookie *newcookie, *cookie = (struct pico_icmp4_ping_cookie *)arg; local
343 struct pico_icmp4_ping_cookie test, *cookie; local
371 struct pico_icmp4_ping_cookie *cookie; local
[all...]
/seL4-camkes-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-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/include/
H A Dpicotcp-socket-sync.h20 void *cookie);
/seL4-camkes-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-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c71 rumpcomp_pci_get_bdf(unsigned cookie, unsigned *bus, unsigned *dev, unsigned *function) { argument
72 if (cookie > BMK_MAXINTR) {
76 *bus = pci_data[cookie].bus;
77 *dev = pci_data[cookie].dev;
78 *function = pci_data[cookie].function;
148 int intrline, unsigned cookie)
151 if (cookie > BMK_MAXINTR)
154 intrs[cookie] = intrline;
156 pci_data[cookie].intrs = intrline;
157 pci_data[cookie]
147 rumpcomp_pci_irq_map(unsigned bus, unsigned device, unsigned fun, int intrline, unsigned cookie) argument
165 rumpcomp_pci_irq_establish(unsigned cookie, int (*handler)(void *), void *data) argument
[all...]
/seL4-camkes-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:__anon6
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:__anon36
474 void *cookie; member in struct:ps_fdt
[all...]
/seL4-camkes-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-camkes-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-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c144 int intrline, unsigned cookie)
146 if (cookie > BMK_MAXINTR) {
150 pci_data[cookie].intrs = intrline;
151 pci_data[cookie].bus = bus;
152 pci_data[cookie].dev = device;
153 pci_data[cookie].function = fun;
157 int rumpcomp_pci_get_bdf(unsigned cookie, unsigned *bus, unsigned *dev, unsigned *function) argument
159 if (cookie > BMK_MAXINTR) {
163 *bus = pci_data[cookie].bus;
164 *dev = pci_data[cookie]
143 rumpcomp_pci_irq_map(unsigned bus, unsigned device, unsigned fun, int intrline, unsigned cookie) argument
170 rumpcomp_pci_irq_establish(unsigned cookie, int (*handler)(void *), void *data) argument
[all...]
/seL4-camkes-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...]
/seL4-camkes-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-camkes-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-camkes-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-camkes-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,

Completed in 207 milliseconds

1234567