tree 55bb2b908a1ea95209c2487954d903674eabc729
parent 4a474d32c60202ad35d6ea0544f5fe1c0eac51be
author Damon Lee <Damon.Lee@data61.csiro.au> 1564026261 +1000
committer Damon Lee <Damon.Lee@data61.csiro.au> 1566189500 +1000

libsel4platsupport: Update IO ops calls in timer

Following the refactoring of the IO ops interfaces, we update the
relevant calls inside the timer interface. These changes are temporary
and are intended to be a band-aid fix for the deprecation of this
interface in the very near future.