commit f02430b5bfdc9b583df3e20e0d4f1fe0a9b594ef
author Damon Lee <Damon.Lee@data61.csiro.au> Mon Aug 12 13:36:13 2019 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> Mon Aug 19 14:38:20 2019 +1000
tree 8391c835ebfc72f503f63864c2ce3fc5b670ddc6
parent 7cad0c31cfe9e124b10da31de8eaffb3cda67c6e

libsel4platsupport: Update ltimer calls

Following from the ltimer IRQ allocation and callback changes, this
commits updates the ltimer calls to reflect the changes. This is meant
to be band-aid fix to just get things compiling until the deprecation of
the timer library in libsel4platsupport.

libsel4platsupport/src/timer.c

diff --git a/libsel4platsupport/src/timer.c b/libsel4platsupport/src/timer.c
index fd48c1e..a25edc4 100644
--- a/libsel4platsupport/src/timer.c
+++ b/libsel4platsupport/src/timer.c
@@ -58,7 +58,6 @@
             /* mask the bit out of the badge */
             badge &= ~BIT(irq);
             if (timer->to.irqs[i].irq.type != PS_NONE) {
-                ltimer_handle_irq(&timer->ltimer, &timer->to.irqs[i].irq);
                 int error = seL4_IRQHandler_Ack(timer->to.irqs[i].handler_path.capPtr);
                 if (error) {
                     ZF_LOGE("Failed to ack irq %lu, error %d", irq, error);
@@ -167,7 +166,7 @@
     }
 
     if (!error)  {
-        error = ltimer_default_init(&timer->ltimer, ops);
+        error = ltimer_default_init(&timer->ltimer, ops, NULL, NULL);
     }
     return error;
 }