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

1234567

/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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:__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 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:__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 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:__anon2
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-refos-master/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:__anon1
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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/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 210 milliseconds

1234567