seL4/include/plat/tk1/plat/machine
Kent McLeod 04aabf92ce tk1: use declare_default_headers
- remove unused header files replaced by declare_default_headers
2019-04-12 14:25:58 +10:00
..
hardware.bf tk1: Correct SMMU PD and PT indexing 2016-11-02 15:12:56 +11:00
smmu.h style: consistently attach return type 2019-03-19 14:05:36 +11:00