GICD_TYPER2, Interrupt Controller Type Register 2
The GICD_TYPER2 characteristics are:
Provides information about which features the GIC implementation supports.
This register is present only when GICv4.1 is implemented. Otherwise, direct accesses to GICD_TYPER2 are RES0.
When GICD_CTLR.DS == 0, this register is Common.
GICD_TYPER2 is a 32-bit register.
The GICD_TYPER2 bit assignments are:
VIL, bit 
Indicates whether 16 bits of vPEID are implemented.
GIC supports 16-bit vPEID.
GIC supports GICD_TYPER2.VID + 1 bits of vPEID.
VID, bits [4:0]
When GICD_TYPER2.VIL == 1, the number of bits is equal to the bits of vPEID minus one.
When GICD_TYPER2.VIL == 0, this field is RES0.
Accessing the GICD_TYPER2
GICD_TYPER2 can be accessed through the memory-mapped interfaces:
This interface is accessible as follows:
- When GICD_CTLR.DS == 0b0 accesses to this register are RO.
- When IsAccessSecure() accesses to this register are RO.
- When !IsAccessSecure() accesses to this register are RO.