root/include/kvm/

1. arm_arch_timer.h
2. arm_pmu.h
3. arm_psci.h
4. arm_vgic.h
5. iodev.h