/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | virtqueue_common.c | 26 ps_malloc_ops_t malloc_ops; local
|
H A D | interface_registration.c | 55 ps_malloc_ops_t *malloc_ops; member in struct:camkes_interface_cookie 86 static inline void destroy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument 96 static inline char **copy_properties_array(ps_malloc_ops_t *malloc_ops, char **properties) argument 281 camkes_interface_registration_ops(ps_interface_registration_ops_t *interface_ops, ps_malloc_ops_t *malloc_ops) argument [all...] |
H A D | io.c | 53 static UNUSED int ll_prepend(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 66 static UNUSED int ll_append(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 85 static UNUSED int ll_remove(ps_malloc_ops_t *malloc_ops, ll_t **list, const void *data) argument 100 ps_malloc_ops_t *malloc_ops; member in struct:__anon5 [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 42 int gpio_chain_init(ps_malloc_ops_t *malloc_ops, gpio_chain_t **ret_chain) argument 63 int gpio_chain_destroy(ps_malloc_ops_t *malloc_ops, gpio_chain_t *chain) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 286 int sel4platsupport_new_fdt_ops(ps_io_fdt_t *io_fdt, simple_t *simple, ps_malloc_ops_t *malloc_ops) argument
|
H A D | irq.c | 87 ps_malloc_ops_t *malloc_ops; member in struct:__anon15 351 new_irq_ops_common(vka_t *vka, simple_t *simple, irq_interface_config_t irq_config, ps_malloc_ops_t *malloc_ops, irq_iface_type_t iface_type) argument 553 sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, irq_interface_config_t irq_config, ps_malloc_ops_t *malloc_ops) argument 577 sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, ps_malloc_ops_t *malloc_ops, seL4_CPtr ntfn, seL4_Word usable_mask) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 45 int ps_fdt_read_path(ps_io_fdt_t *io_fdt, ps_malloc_ops_t *malloc_ops, const char *path, ps_fdt_cookie_t **ret_cookie) argument 73 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 65 ps_malloc_ops_t *malloc_ops; member in struct:irq_server 110 irq_server_node_new(seL4_CPtr ntfn, size_t max_irqs_bound, ps_malloc_ops_t *malloc_ops) argument 327 irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep, seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 506 ps_malloc_ops_t malloc_ops; member in struct:ps_io_ops
|