libsel4platsupport/src/timer.c

61                 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr);
62                 if (error) {
63                     ZF_LOGE("Failed to ack irq %lu, error %d", irq, error);
72     int error = vka_cspace_alloc_path(vka, &irq->badged_ntfn_path);
75     if (!error) {
77         error = vka_cnode_mint(&irq->badged_ntfn_path, &path, seL4_AllRights, badge);
79     if (!error) {
82         error =  seL4_IRQHandler_SetNotification(irq->handler_path.capPtr, irq->badged_ntfn_path.capPtr);
84     if (!error) {
85         error = seL4_IRQHandler_Ack(irq->handler_path.capPtr);
87     return error;
92     int error = ltimer_get_nth_pmem(ltimer, n, &obj->region);
93     if (!error && obj->region.length > PAGE_SIZE_4K) {
100     if (!error) {
101         error = vka_alloc_untyped_at(vka, seL4_PageBits, obj->region.base_addr,
105     if (error) {
108     return error;
130         int error = sel4platsupport_copy_irq_cap(vka, simple, &timer->to.irqs[i].irq,
132         if (!error) {
133             error = setup_irq(vka, &timer->to.irqs[i], BIT(seL4_BadgeBits - i - 1), ntfn);
135         if (error) {
137             return error;
150     int error;
155     error = ltimer_default_describe(&timer->ltimer, ops);
157     if (!error) {
160             error = ltimer_get_nth_irq(&timer->ltimer, i, &timer->to.irqs[i].irq);
161             if (error) {
162                 return error;
165         error = init_timer_internal(vka, simple, ntfn, timer, nirqs);
168     if (!error)  {
169         error = ltimer_default_init(&timer->ltimer, ops, NULL, NULL);
171     return error;
177     int error;
182     error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
183     if (!error) {
188     return error;
210     int error = sel4platsupport_new_io_ops(vspace, vka, simple, &ops);
211     if (error) {
213         return error;;
218     error = ltimer_default_describe(&ltimer, ops);
219     if (error) {
221         return error;
227         error = ltimer_get_nth_irq(&ltimer, i, &timer_objects->irqs[i].irq);
229         if (!error) {
230             error =  sel4platsupport_copy_irq_cap(vka, simple, &timer_objects->irqs[i].irq,
233         if (error) {
235             return error;
250         error = get_nth_pmem(vka, &ltimer, &timer_objects->objs[i], i);
252         if (error) {
254             return error;
260     return error;