100644 blob 6e54f3542126b189be45d2bce32b009721a9d3ab	arch_timer.c
100644 blob 19c6210f02cf5c2003b96a3ecbb198321114a2a6	vgic-v2-emul.c
100644 blob a0a7b5d1a0703a00f81c9421856c0fdf1b1f6aaa	vgic-v2.c
100644 blob b3f154631515eda6bccef2a6094757cf0f0b135f	vgic-v3-emul.c
100644 blob 3a62d8a9a2c6fce0cc2f94a6e558115785c03811	vgic-v3.c
100644 blob 0cc6ab6005a07bb2e9453106a672e9efd4e237a6	vgic.c
100644 blob 1e83bdf5f499b24dd8ea19d5f456fcc740d87bad	vgic.h