mclinux - Revision 18: /linux/linux-3.18/include/kvm

• ..
• arm_arch_timer.h
• arm_vgic.h