Vgic - Virtual IRQ Test code in vgic.c and bmguest/