100644 blob bc6f2fdd7ad33b12c6ccbccdbdb5567c77c21250	arm_arch_timer.h
100644 blob 2df152207ccd00bc8abb53f6b0827cfc4ee96e5c	arm_hypercalls.h
100644 blob 6b4a118d17ca9983aafa2457160378d80815145f	arm_pmu.h
100644 blob f86a006d67136527131ba677afc6c054579136b6	arm_psci.h
100644 blob 086b7578e5f330a1fc67a01febd1389922fdc602	arm_vgic.h
100644 blob 56619e33251e2aae75f3de9ac47195193bc3f153	iodev.h