3.14.2. Tracking Status Register

The GITS_TRKR characteristics are:

Purpose

This register provides some of the tracked state that is triggered by the LPI track bit in the GITS_TRKCTLR register. Use this register to find out whether an LPI was generated by the ITS and, if not, why it was not generated. You must examine the least significant bits first.

Usage constraints

There are no usage constraints.

Configurations

Present in configurations of the GIC-500 with ITS and LPI support.

Attributes

See the register summary in Table 3.21.

Figure 3.12 shows the bit assignments.

Figure 3.12. GITS_TRKR bit assignments

To view this graphic, your browser must support the SVG format. Either install a browser with native support, or install an appropriate plugin such as Adobe SVG Viewer.


Table 3.23 shows the bit assignments.

Table 3.23. GITS_TRKR bit assignments

Bits

Name

Description

[31:7]

-

Reserved

[6]PID out of rangeWhen it is 1, this bit indicates that the LPI PID is larger than that allowed by the IDbits field in the GICR_PROPBASER. This bit is only valid if bits [4:1] are zero and bit [0] is 1.
[5]Target out of rangeWhen it is 1, indicates that target collection has not been successfully mapped using MAPC, or that the target core does not have LPIs enabled in GICR_CTLR. This bit is only valid if bits [4:1] are zero and bit [0] is 1.
[4]No translationWhen it is 1, indicates that no valid MAPI or MAPVI has successfully been performed for this combination of input ID and Device ID. For example, the command might have failed because of an illegal collection or PID. This bit is only valid if bits [3:1] are zero and bit [0] is 1.
[3]Input ID out of range

When it is 1, indicates that the input ID is larger than that allowed by the Device ID, which is set during the MAPD command, or it is larger than 65535. This bit is only valid if bits [2:1] are zero and bit [0] is 1.

[2]Device ID unmappedWhen it is 1, indicates that no valid MAPD has successfully been performed for this Device ID. This bit is only valid if bit [1] is zero and bit [0] is 1.
[1]Device ID out of range

When it is set to 1, indicates that the Device ID is larger than that allowed by the Size and Page Size in GITS_BASER0, or larger than the number of Device IDs configured.

See Configurable options for more information.

[0]LPI trackedWhen it is 1, the LPI tracking initiated by the LPI track bit in the GITS_TRKCTLR register is completed and the contents of the Debug Tracked registers are valid.

Copyright © 2014 ARM. All rights reserved.ARM DDI 0516B
Non-ConfidentialID060914