tree: 1a12ca2aaa1c103a9f6f84b2baa8e6304e714e80
  1. arm_arch_timer.h
  2. arm_hypercalls.h
  3. arm_pmu.h
  4. arm_psci.h
  5. arm_vgic.h
  6. iodev.h