100644 blob b9d3a32cbc048ddb7c1c885fb3af523f97944fbc	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 66c66165e712d743ed3da1a501c03a087f442378	vgic.c
100644 blob 0df74cbb6200686ab8cfbc853b11f27cc954b678	vgic.h