39a40,41
> #include "dev/arm/vgic.hh"
>
44d45
< #include "dev/arm/vgic.hh"