/kernel/include/kvm/

• ../
• arm_arch_timer.h
• arm_vgic.h
• iodev.h