100644 blob 7f38db2a46c8ad9e1ad7382e9ed9dca72ee8d7e8	arch_timer.c
100644 blob 37d8b98867d5a04fd814ac89be30c1a44e0f213c	trace.h
100644 blob 13907970d11c3a94b8dc0a5b1848973035cc41cf	vgic-v2-emul.c
100644 blob ff02f08df74d6bfa9a35f41a5a556a9f6c944a72	vgic-v2.c
100644 blob e661e7fb9d91878a1d624b67be10d069cf248db0	vgic-v3-emul.c
100644 blob 487d6357b7e75039ff914077eb11d890f938e51d	vgic-v3.c
100644 blob 964df643509dd2e4f299378042f4c927397a7c2b	vgic.c
100644 blob 0df74cbb6200686ab8cfbc853b11f27cc954b678	vgic.h