/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio_utils.h | 23 * @param malloc_ops Initialised malloc_ops structure. 27 int gpio_chain_init(ps_malloc_ops_t *malloc_ops, gpio_chain_t **ret_chain); 32 * @param malloc_ops Initialised malloc_ops structure. 36 int gpio_chain_destroy(ps_malloc_ops_t *malloc_ops, gpio_chain_t *chain);
|
/seL4-test-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 44 if (!malloc_ops || !ret_chain) { 49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain); 56 ps_free(malloc_ops, sizeof(**ret_chain), *ret_chain); 63 int gpio_chain_destroy(ps_malloc_ops_t *malloc_ops, gpio_chain_t *chain) argument 65 if (!malloc_ops || !chain) { 82 ps_free(malloc_ops, sizeof(*chain), chain);
|
H A D | generic_ltimer.c | 141 ps_free(&generic_ltimer->ops.malloc_ops, sizeof(ps_irq_t), generic_ltimer->callback_data.irq); 147 ps_free(&generic_ltimer->ops.malloc_ops, sizeof(generic_ltimer_t), generic_ltimer); 169 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(generic_ltimer_t), <imer->data); 190 error = ps_calloc(&ops.malloc_ops, 1, sizeof(ps_irq_t), (void **) &generic_ltimer->callback_data.irq);
|
/seL4-test-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 111 ps_malloc_ops_t *malloc_ops) 114 ps_calloc(malloc_ops, 1, sizeof(irq_server_node_t), (void **) &new_node); 203 error = ps_calloc(irq_server->malloc_ops, 1, sizeof(irq_server_thread_t), (void **) &new_thread); 214 new_node = irq_server_node_new(ntfn_to_use, max_irqs_bound, irq_server->malloc_ops); 265 ps_free(irq_server->malloc_ops, sizeof(irq_server_node_t), new_node); 273 ps_free(irq_server->malloc_ops, sizeof(irq_server_thread_t), new_node); 329 size_t num_irqs, ps_malloc_ops_t *malloc_ops) 336 if (!vspace || !vka || !simple || !malloc_ops) { 345 error = ps_calloc(malloc_ops, 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-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 62 * @param malloc_ops Malloc interface that is used to allocate memory for the IRQ interface 68 ps_malloc_ops_t *malloc_ops); 89 * @param malloc_ops Malloc interface that is used to allocate memory for the IRQ interface 94 ps_malloc_ops_t *malloc_ops, seL4_CPtr ntfn, seL4_Word usable_mask);
|
H A D | io.h | 63 int sel4platsupport_new_fdt_ops(ps_io_fdt_t *io_fdt, simple_t *simple, ps_malloc_ops_t *malloc_ops);
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 59 * @param malloc_ops An initialised malloc interface. 65 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); 70 * @param malloc_ops An initialised malloc interface. 75 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | guest_memory_util.c | 172 err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct device_frame_cookie), (void **)&cookie); 183 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 191 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 201 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 215 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 232 err = ps_calloc(&ops->malloc_ops, 1, sizeof(struct device_frame_cookie), (void **)&cookie); 243 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 251 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 266 ps_free(&ops->malloc_ops, sizeof(struct device_frame_cookie), (void **)&cookie); 275 ps_free(&ops->malloc_ops, sizeo [all...] |
/seL4-test-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 51 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_cookie), (void **) ret_cookie); 58 ZF_LOGF_IF(ps_fdt_cleanup_cookie(malloc_ops, *ret_cookie), "Failed to cleanup FDT cookie"); 64 ZF_LOGF_IF(ps_fdt_cleanup_cookie(malloc_ops, *ret_cookie), "Failed to cleanup FDT cookie"); 73 int ps_fdt_cleanup_cookie(ps_malloc_ops_t *malloc_ops, ps_fdt_cookie_t *cookie) argument 75 if (!malloc_ops || !cookie) { 79 return ps_free(malloc_ops, sizeof(*cookie), cookie);
|
H A D | ltimer.h | 70 error = ps_fdt_read_path(&ops->io_fdt, &ops->malloc_ops, fdt_path, &cookie); 88 error = ps_fdt_cleanup_cookie(&ops->malloc_ops, cookie); 126 int error = ps_calloc(&ops.malloc_ops, 1, sz, <imer->data);
|
H A D | local_time_manager.c | 181 int error = ps_calloc(&ops->malloc_ops, 1, sizeof(time_man_state_t), &tm->data); 189 error = tqueue_init_static(&state->timeouts, &ops->malloc_ops, size); 192 ps_free(&ops->malloc_ops, sizeof(time_man_state_t), &tm->data);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | irq_server.h | 78 seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops);
|
/seL4-test-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 288 if (!io_fdt || !simple || !malloc_ops) { 295 int error = ps_calloc(malloc_ops, 1, block_size, &io_fdt->cookie); 306 ZF_LOGF_IF(ps_free(malloc_ops, block_size, io_fdt->cookie), 337 error = sel4platsupport_new_malloc_ops(&io_ops->malloc_ops); 348 error = sel4platsupport_new_fdt_ops(&io_ops->io_fdt, simple, &io_ops->malloc_ops); 356 &io_ops->malloc_ops); 363 ps_free(&io_ops->malloc_ops, fdt_size, &io_ops->io_fdt.cookie);
|
H A D | irq.c | 87 ps_malloc_ops_t *malloc_ops; member in struct:__anon3 352 ps_malloc_ops_t *malloc_ops, irq_iface_type_t iface_type) 361 err = ps_calloc(malloc_ops, 1, sizeof(irq_cookie_t), (void **) &cookie); 368 err = ps_calloc(malloc_ops, 1, sizeof(irq_entry_t) * irq_config.max_irq_ids, (void **) & (cookie->irq_table)); 379 err = ps_calloc(malloc_ops, 1, sizeof(ntfn_entry_t) * irq_config.max_ntfn_ids, 389 err = ps_calloc(malloc_ops, 1, num_irq_bitfields * sizeof(seL4_Word), 395 err = ps_calloc(malloc_ops, 1, num_ntfn_bitfields * sizeof(seL4_Word), 405 cookie->malloc_ops = malloc_ops; 416 ps_free(malloc_ops, sizeo 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-test-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 279 int error = ps_fdt_read_path(&gpt->io_ops.io_fdt, &gpt->io_ops.malloc_ops, config.device_path, &cookie); 281 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 289 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 297 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 302 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie),
|
H A D | ltimer.c | 90 ps_free(&imx_ltimer->ops.malloc_ops, sizeof(imx_ltimer), imx_ltimer); 102 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(imx_ltimer_t), <imer->data);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 236 int error = ps_fdt_read_path(&epit->io_ops.io_fdt, &epit->io_ops.malloc_ops, config.device_path, &cookie); 238 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 246 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 254 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 259 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie),
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_con.c | 56 int err = ps_calloc(&ops.malloc_ops, 1, sizeof(*pci_config), (void **)&pci_config); 93 int err = ps_new_stdlib_malloc_ops(&ops.malloc_ops); 97 err = ps_calloc(&ops.malloc_ops, 1, sizeof(*con), (void **)&con);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 88 ps_free(&nv_tmr_ltimer->ops.malloc_ops, sizeof(nv_tmr_ltimer), nv_tmr_ltimer); 103 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(nv_tmr_ltimer_t), <imer->data);
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | timer.c | 51 ps_free(&env->ops.malloc_ops, sizeof(sel4test_ack_data_t), ack_data); 61 error = ps_calloc(&env->ops.malloc_ops, 1, sizeof(sel4test_ack_data_t), (void **) &ack_data);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 80 ps_free(&pwm_ltimer->ops.malloc_ops, sizeof(pwm_ltimer_t), pwm_ltimer); 96 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pwm_ltimer_t), <imer->data);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), <imer->data);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 176 ps_free(&spt_ltimer->ops.malloc_ops, sizeof(ps_irq_t), spt_ltimer->callback_datas[i].irq); 183 ps_free(&spt_ltimer->ops.malloc_ops, sizeof(spt_ltimer), spt_ltimer); 200 error = ps_calloc(&ops.malloc_ops, 1, sizeof(spt_ltimer_t), <imer->data); 222 error = ps_calloc(&ops.malloc_ops, 1, sizeof(ps_irq_t), (void **) &spt_ltimer->callback_datas[i].irq);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_memory.c | 165 err = ps_calloc(&ops->malloc_ops, 1, sizeof(res_tree), (void **)&result_node); 216 ps_free(&ops->malloc_ops, sizeof(vm_memory_reservation_t), reservation); 225 err = ps_calloc(&ops->malloc_ops, 1, sizeof(vm_memory_reservation_t), (void **)&new_reservation); 363 err = ps_calloc(&ops->malloc_ops, 1, sizeof(anon_region_t), (void **)®ion_data); 378 ps_free(&ops->malloc_ops, sizeof(anon_region_t), region_data); 527 int err = ps_calloc(&ops->malloc_ops, 1, sizeof(vm_memory_reservation_cookie_t), (void **)&cookie);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 105 ps_free(&ttc_ltimer->ops.malloc_ops, sizeof(ttc_ltimer), ttc_ltimer); 116 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(ttc_ltimer_t), <imer->data);
|