Searched refs:malloc_ops (Results 1 - 25 of 49) sorted by relevance

12

/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dgpio_utils.h23 * @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 Dgpio_utils.c42 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 Dgeneric_ltimer.c141 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), &ltimer->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 Dirq_server.c65 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 Dirq.h62 * @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 Dio.h63 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 Dfdt.h59 * @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 Dguest_memory_util.c172 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 Dfdt.c45 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 Dltimer.h70 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, &ltimer->data);
H A Dlocal_time_manager.c181 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 Dirq_server.h78 seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c286 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 Dirq.c87 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 Dgpt.c279 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 Dltimer.c90 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), &ltimer->data);
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c236 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 Dvirtio_con.c56 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 Dltimer.c88 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), &ltimer->data);
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dtimer.c51 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 Dltimer.c80 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), &ltimer->data);
/seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), &ltimer->data);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c176 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), &ltimer->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 Dguest_memory.c165 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 **)&region_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 Dltimer.c105 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), &ltimer->data);

Completed in 114 milliseconds

12