tree 342a7cabbe5258b9aa3c3fcd2182d71a981c52a8
parent 0c17e628ede994eb6bccad0329e3220f14e175eb
author Anna Lyons <Anna.Lyons@nicta.com.au> 1463535790 +1000
committer Anna Lyons <Anna.Lyons@nicta.com.au> 1463535790 +1000

sel4platsupport: use hpet specific destroy

timer_common_destroy not suitable for hpet