seL4/include/arch
Anna Lyons f33ae44e13 SELFOUR-612: one generic timer impl
This commit unifies 3 implementations of the arm
generic timer and cleans up existing code.
2016-08-10 07:16:46 +10:00
..
arm SELFOUR-612: one generic timer impl 2016-08-10 07:16:46 +10:00
x86/arch SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00