71,73c71,73
< class Pl390(BaseGic):
< type = 'Pl390'
< cxx_header = "dev/arm/gic_pl390.hh"
---
> class GicV2(BaseGic):
> type = 'GicV2'
> cxx_header = "dev/arm/gic_v2.hh"