100644 blob 385818c3e34aef32f13995c318a2ec6e77734d6a	arm_arch_timer.h
100644 blob 0e2509d27910c1939877148db9812696ede8c5c6	arm_hypercalls.h
100644 blob dbf4f08d42e52a3fdc658fb2054262d6f074ca92	arm_pmu.h
100644 blob 5b58bd2fe088b1fc052e4c13c611abfbbd06773b	arm_psci.h
100644 blob af4f09c02bf1c6e9936f5ca52537c13c1cd8c934	arm_vgic.h
100644 blob d75fc436574649a078ee83409e71dca0bfaee4f8	iodev.h