100644 blob 76e38d231e9959d085673b4eda7e4065f4a7fbb7	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 afbf925b00f4ff079ea28925174e1998e54c44d1	vgic-v3.c
100644 blob 9eb489a2c94c2b5ef07146a01ec9ac943034065c	vgic.c
100644 blob 0df74cbb6200686ab8cfbc853b11f27cc954b678	vgic.h