162a163,174
>
> class Gicv3(BaseGic):
> type = 'Gicv3'
> cxx_header = "dev/arm/gic_v3.hh"
>
> dist_addr = Param.Addr(0x2c000000, "Address for distributor")
> dist_pio_delay = Param.Latency('10ns', "Delay for PIO r/w to distributor")
> redist_addr = Param.Addr(0x2c010000, "Address for redistributors")
> redist_pio_delay = Param.Latency('10ns',
> "Delay for PIO r/w to redistributors")
> it_lines = Param.UInt32(1020,
> "Number of interrupt lines supported (max = 1020)")