/seL4-refos-master/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-refos-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-refos-master/libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 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); 206 /* ps_calloc returns errnos but these are greater than 0 */ 345 error = ps_calloc(malloc_ops, 1, sizeof(irq_server_t), (void **) &new);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 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); 206 /* ps_calloc returns errnos but these are greater than 0 */ 345 error = ps_calloc(malloc_ops, 1, sizeof(irq_server_t), (void **) &new);
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 103 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(nv_tmr_ltimer_t), <imer->data);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 103 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(nv_tmr_ltimer_t), <imer->data);
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain);
|
H A D | generic_ltimer.c | 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-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain);
|
H A D | generic_ltimer.c | 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-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 102 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(imx_ltimer_t), <imer->data);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 102 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(imx_ltimer_t), <imer->data);
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 96 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pwm_ltimer_t), <imer->data);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | ltimer.c | 96 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(pwm_ltimer_t), <imer->data);
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | ltimer.h | 126 int error = ps_calloc(&ops.malloc_ops, 1, sz, <imer->data);
|
H A D | tqueue.c | 192 int error = ps_calloc(mops, size, sizeof(tqueue_node_t), (void **) &tq->array);
|
H A D | local_time_manager.c | 181 int error = ps_calloc(&ops->malloc_ops, 1, sizeof(time_man_state_t), &tm->data);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | ltimer.h | 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);
|
H A D | tqueue.c | 192 int error = ps_calloc(mops, size, sizeof(tqueue_node_t), (void **) &tq->array);
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 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-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 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-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 116 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(ttc_ltimer_t), <imer->data);
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 116 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(ttc_ltimer_t), <imer->data);
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 111 error = ps_calloc(&ops.malloc_ops, 1, sizeof(omap_ltimer_t), <imer->data);
|