You copied the Doc URL to your clipboard.

GIC_400 - parameters

This section describes the parameters.


Table 1. GIC_400 parameters
Name Type Allowed values Default value Description
NUM_CPUS Integer 1-8 1 Number of interfaces to support.
NUM_SPIS Integer 0-480 224 Number of shared peripheral interrupt pins.
interface0.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface0 in the VGIC.
interface0.core_id Integer 0-15 0 Core ID of interface0 in the cluster.
interface0.inout_port_number_to_use Integer 0-7 0 ppiN port used for this interface.
interface1.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface1 in the VGIC.
interface1.core_id Integer 0-15 0 The Core ID of interface1 in the cluster.
interface1.inout_port_number_to_use Integer 0-7 1 ppiN port used for this interface.
interface2.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface2 in the VGIC.
interface2.core_id Integer 0-15 0 Core ID of interface2 in the cluster.
interface2.inout_port_number_to_use Integer 0-7 2 ppiN port used for this interface.
interface3.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface3 in the VGIC.
interface3.core_id Integer 0-15 0 Core ID of interface3 in the cluster.
interface3.inout_port_number_to_use Integer 0-7 3 ppiN port used for this interface.
interface4.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface4 in the VGIC.
interface4.core_id Integer 0-15 0 Core ID of interface4 in the cluster.
interface4.inout_port_number_to_use Integer 0-7 4 ppiN port used for this interface.
interface5.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface5 in the VGIC.
interface5.core_id Integer 0-15 0 Core ID of interface5 in the cluster.
interface5.inout_port_number_to_use Integer 0-7 5 ppiN port used for this interface.
interface6.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface6 in the VGIC.
interface6.core_id Integer 0-15 0 Core ID of interface6 in the cluster.
interface6.inout_port_number_to_use Integer 0-7 6 ppiN port used for this interface.
interface7.cluster_id Integer 0-15 0 Cluster ID of the interface you want to appear as interface7 in the VGIC.
interface7.core_id Integer 0-15 0 Core ID of interface7 in the cluster.
interface7.inout_port_number_to_use Integer 0-7 7 ppiN port used for this interface.