100644 blob e5e6c92b60da6418c3df6414106c64281ed31f72	debug-exceptions.c
100644 blob a16c8f05366c624b706e7fb9ddfe16fd2515f572	get-reg-list.c
100644 blob 623f31a1432682655b1d21a449709beb4720c6ea	vgic_init.c