100644 blob 21a0ab2d891949768d25ff45796f189bad0881e5	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 533538385d5d294ce16bae446cc7e2b1578d9b7d	vgic.c
100644 blob 0df74cbb6200686ab8cfbc853b11f27cc954b678	vgic.h