100644 blob 48c6e1ac6827f14be7eaede56bfd1ae3d185d217	arch_timer.c
100644 blob 13907970d11c3a94b8dc0a5b1848973035cc41cf	vgic-v2-emul.c
100644 blob 8d7b04db8471877fc2d28df790c6316ab51f6399	vgic-v2.c
100644 blob e661e7fb9d91878a1d624b67be10d069cf248db0	vgic-v3-emul.c
100644 blob 7dd5d62f10a196a4b2fe4bb8f4bc340bf69484bc	vgic-v3.c
100644 blob 6bd1c9bf7ae71504d042f455bce8ad9ca6abf6fc	vgic.c
100644 blob 0df74cbb6200686ab8cfbc853b11f27cc954b678	vgic.h