/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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:__anon5 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:__anon18 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:__anon2 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-refos-master/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:__anon1 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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/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,
|