tree 42258b109dcae5d4d9a375a5d89dec05cd8efb08
parent fe2158237aed6e3bbd04415fc9691ca1f5b7f4f7
author Anna Lyons <Anna.Lyons@nicta.com.au> 1449028974 +1100
committer Anna Lyons <Anna.Lyons@nicta.com.au> 1449028974 +1100

libsel4platsupport: pass correct timer interface to tsc_get_timer