100644 blob d120e6c323e7c8ed0e62ee14238b04ab1f221c3b	arm_arch_timer.h
100644 blob 0e2509d27910c1939877148db9812696ede8c5c6	arm_hypercalls.h
100644 blob 6db030439e29c287ece08ab5353080fcfe0de39f	arm_pmu.h
100644 blob 5b58bd2fe088b1fc052e4c13c611abfbbd06773b	arm_psci.h
100644 blob 9d53f545a3d5e171620346245176e0c36d77afa7	arm_vgic.h
100644 blob d75fc436574649a078ee83409e71dca0bfaee4f8	iodev.h