100644 blob 6e54f3542126b189be45d2bce32b009721a9d3ab	arch_timer.c
100644 blob 19c6210f02cf5c2003b96a3ecbb198321114a2a6	vgic-v2-emul.c
100644 blob f9b9c7c5137214cb56bcc0cf7455d2d712dc6848	vgic-v2.c
100644 blob b3f154631515eda6bccef2a6094757cf0f0b135f	vgic-v3-emul.c
100644 blob dff06021e74855a2d6cb9b8830fd30818a63c927	vgic-v3.c
100644 blob c9f60f52458802f4a66a3912732d8665bc4a3e32	vgic.c
100644 blob 1e83bdf5f499b24dd8ea19d5f456fcc740d87bad	vgic.h