seL4/include/drivers/timer
Anna Lyons a69c3f0f9c am335x: use declare_default_headers
- move timer.h to include/drivers/timer/am335x.h
- move interrupt.h to include/drivers/irq/am335x.h
- remove unused header files replaced by declare_default_headers
2019-04-12 14:25:58 +10:00
..
allwinner.h allwinnerA20: use declare_default_headers 2019-04-12 14:25:58 +10:00
am335x.h am335x: use declare_default_headers 2019-04-12 14:25:58 +10:00