1# Copyright (c) 2012-2013, 2017-2018 ARM Limited 2# All rights reserved. 3# 4# The license below extends only to copyright in the software and shall 5# not be construed as granting a license to any other intellectual 6# property including but not limited to intellectual property relating 7# to a hardware implementation of the functionality of the software 8# licensed hereunder. You may use the software subject to the license --- 159 unchanged lines hidden (view full) --- 168 169 dist_addr = Param.Addr(0x2c000000, "Address for distributor") 170 dist_pio_delay = Param.Latency('10ns', "Delay for PIO r/w to distributor") 171 redist_addr = Param.Addr(0x2c010000, "Address for redistributors") 172 redist_pio_delay = Param.Latency('10ns', 173 "Delay for PIO r/w to redistributors") 174 it_lines = Param.UInt32(1020, 175 "Number of interrupt lines supported (max = 1020)") |
176 177 maint_int = Param.ArmInterruptPin( 178 "HV maintenance interrupt." 179 "ARM strongly recommends that maintenance interrupts " 180 "are configured to use INTID 25 (PPI Interrupt).") |