tree 8391c835ebfc72f503f63864c2ce3fc5b670ddc6
parent 7cad0c31cfe9e124b10da31de8eaffb3cda67c6e
author Damon Lee <Damon.Lee@data61.csiro.au> 1565580973 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

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.