3.14.3. Debug Tracked DID Register

The GITS_TRKDIDR characteristics are:

Purpose

This register returns the Device ID of the LPI that is tracked as a result of the LPI track bit in the GITS_TRKCTLR register being set to 0b1.

Usage constraints

This register is valid when the LPI tracked field in GITS_TRKR is 1.

Configurations

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

Attributes

See the register summary in Table 3.21.

Figure 3.13 shows the bit assignments.

Figure 3.13. GITS_SPISRn 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.24 shows the bit assignments.

Table 3.24. GITS_SPISRn bit assignments

Bits

Name

Function

[31:20]

-

Reserved

[19:0]Device ID of LPIThe Device ID for the interrupt that was tracked.

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