100644 blob 22fa819a9b6a7ba06b9c788bfc7b84ba0b07a0ea	arch_timer.c
100644 blob 2935405ad22f6ce7f1aaa1239653c3c37224a065	vgic-v2.c
100644 blob 1c2c8eef05993cac943cb90db058dda87d37434e	vgic-v3.c
100644 blob aacdb59f30dedcd780ee29e2903d928194a42a5c	vgic.c