4.78 GICv3InterruptTranslationService - trace

This section describes the trace sources.

ArchMsg.Error.GICv3_GITS_BASER_NotProvisionedAtEnable

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASER_TYPE enum
The type of the BASER register that needs to have been provisioned.

ArchMsg.Warning.GICv3_CBASERUnpredAddress

Fields:

VALUE unsigned int
Value attempting to be written.

ArchMsg.Warning.GICv3_CFGSDISABLE_unsupported

CFGSDISABLE signal has been set but doing so has no effect.

ArchMsg.Warning.GICv3_CWRITER_Write

Fields:

OFFSET unsigned int
Offset written to CWRITE register.

ArchMsg.Warning.GICv3_CommandInvalidEncoding

Fields:

ADDRESS unsigned int
Address that the command was read from.
DATA unsigned int
Data for the command.

ArchMsg.Warning.GICv3_CommandReadError

Fields:

ADDRESS unsigned int
Address that the command was attepted to be read from.

ArchMsg.Warning.GICv3_DISCARDInvalidDevice

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be discarded.

ArchMsg.Warning.GICv3_DISCARDInvalidID

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be discarded.
ITT_ADDRESS unsigned int
The ITT address found in the device table.

ArchMsg.Warning.GICv3_GITS_BASER_AddressAlignementError

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASE_ADDRESS unsigned int
The base address for the table
PAGE_SIZE_KB unsigned int
The size of a page in kB

ArchMsg.Warning.GICv3_GITS_BASER_CollectionTableLargerThanSupportedCollectionSpan

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASER_TYPE enum
The type of the BASER register that needs to have been provisioned.
COLECTION_COUNT_IN_MEM unsigned int
The number of collections suported by this ITS
COLLECTION_ENTRY_SIZE unsigned int
The size in bytes of a collection entry
MAX_NEEDED_PAGE_COUNT unsigned int
The number of pages needed to hold all memory based supported collections
PROVISIONED_PAGE_COUNT unsigned int
The number of provisioned pages

ArchMsg.Warning.GICv3_GITS_BASER_InsufficientMemory

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASER_TYPE enum
The type of the BASER register that needs to have been provisioned.
ID unsigned int
ID being used to store information.
NAME string
Command or register name that caused device to be used.

ArchMsg.Warning.GICv3_GITS_BASER_InvalidIndirectEntry

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASER_TYPE enum
The type of the BASER register that needs to have been provisioned.
ID unsigned int
ID being used to store information.
NAME string
Command or register name that caused device to be used.

ArchMsg.Warning.GICv3_GITS_BASER_NotProvisioned

Fields:

BASER_INDEX unsigned int
Index of the BASER register that should have been provisioned.
BASER_TYPE enum
The type of the BASER register that needs to have been provisioned.
NAME string
Command or register name that caused device to be used.

ArchMsg.Warning.GICv3_GITS_CTLR_UnpredWrite

Fields:

ENABLE bool
Value of the current GITS_CTLR.Enable
ITSNUM unsigned int
Current value ot GITS_CTLR.ITSNumber
QUIESCENT bool
Value of the current GITS_CTLR.Quiescent
VALUE unsigned int
Value being written to the register, after masking

ArchMsg.Warning.GICv3_INVALLInvalid

Fields:

COLLECTION_ID unsigned int
Collection ID to be invalidated.

ArchMsg.Warning.GICv3_INVInvalidCollection

Fields:

COLLECTION_ID unsigned int
Collection ID that cannot be found.
DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be invalidated.
ITT_ADDRESS unsigned int
The ITT address found in the device table.

ArchMsg.Warning.GICv3_INVInvalidDevice

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be inved.

ArchMsg.Warning.GICv3_INVInvalidID

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be invalidated.
ITT_ADDRESS unsigned int
The ITT address found in the device table.

ArchMsg.Warning.GICv3_ITS.MemoryMapped_ReadIgnored

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module

ArchMsg.Warning.GICv3_ITS.MemoryMapped_ReadReserved

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module

ArchMsg.Warning.GICv3_ITS.MemoryMapped_ReadWriteOnlyReg

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being read

ArchMsg.Warning.GICv3_ITS.MemoryMapped_WriteIgnored

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module

ArchMsg.Warning.GICv3_ITS.MemoryMapped_WriteReadOnlyReg

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being written
VALUE unsigned int
Value written

ArchMsg.Warning.GICv3_ITS.MemoryMapped_WriteReserved

Fields:

OFFSET unsigned int
Offset of address within the GICv3 module
VALUE unsigned int
Value written

ArchMsg.Warning.GICv3_ITS_TranslateDeviceOutOfRangeIgnored

Fields:

DEVICE_ID unsigned int
Device ID to be mapped.
DEVICE_ID_BITS unsigned int
Device ID bits supported

ArchMsg.Warning.GICv3_ITS_TranslateEventOutOfRangeIgnored

Fields:

DEVICE_ID unsigned int
ID of the device trigerring the event
EVENT_ID unsigned int
Incoming event ID
EVENT_ID_BITS unsigned int
Event ID bits supported

ArchMsg.Warning.GICv3_ITS_TranslateRequestIgnored

Fields:

DEVICE_ID unsigned int
Device ID to be mapped.
DEVICE_ID_BITS unsigned int
Device ID bits supported
SYNDROME enum
Error Syndrome

ArchMsg.Warning.GICv3_InvalidDeviceMap

Fields:

CMD_NAME string
The name of ITS Command that triggered the translation.
DEVICE_ID unsigned int
Non-mapped device ID specified in the command.
ID unsigned int
Incoming interrupt ID specified in the command.

ArchMsg.Warning.GICv3_InvalidTargetAddress

Fields:

COMMAND_NAME string
Name of the command being executed.
PROCESSOR_NUM unsigned int
Processor number specified in the command.

ArchMsg.Warning.GICv3_InvalidVCPU

Fields:

CMD_NAME string
The name of ITS Command that requested the map.
VCPU unsigned int
Virtual CPU specified in the command.

ArchMsg.Warning.GICv3_LPIUnmappedCollection

Fields:

COLLECTION_ID unsigned int
Collection ID that the interrupt maps to.
DEVICE_ID unsigned int
Device ID for the interrupt.
ID unsigned int
Incoming interrupt ID specified.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
SET bool
Whether the interrupt is set (rather than cleared).

ArchMsg.Warning.GICv3_LPIUnmappedDevice

Fields:

DEVICE_ID unsigned int
Device ID for the interrupt.
ID unsigned int
Incoming interrupt ID specified.
SET bool
Whether the interrupt is set (rather than cleared).

ArchMsg.Warning.GICv3_LPIUnmappedID

Fields:

DEVICE_ID unsigned int
Device ID for the interrupt.
ID unsigned int
Incoming interrupt ID specified.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
SET bool
Whether the interrupt is set (rather than cleared).

ArchMsg.Warning.GICv3_MAPCUnmapInvalid

Fields:

COLLECTION_ID unsigned int
Collection ID requested to be unmapped.

ArchMsg.Warning.GICv3_MAPCUnmapInvalidTarget

MAPC command request unmapping with non-zero target value.

ArchMsg.Warning.GICv3_MAPDUnmapInvalid

Fields:

DEVICE_ID unsigned int
Device ID attempting to be unmapped.

ArchMsg.Warning.GICv3_MAPDUnmapInvalidSize

MAPD command request unmapping with non-zero Size value.

ArchMsg.Warning.GICv3_MAPIInvalid

Fields:

COLLECTION_ID unsigned int
Collection ID specified in the map request.
DEVICE_ID unsigned int
Non-mapped device ID specified in the map request.
ID unsigned int
Incoming interrupt ID specified in the map request.
PHYSICAL_ID unsigned int
Outgoing interrupt ID specified in the map request.

ArchMsg.Warning.GICv3_MOVIInvalidCollection

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that should be moved.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
NEW_COLLECTION_ID unsigned int
Collection ID that was requested.
NEW_INVALID bool
It is the new collection ID that is invalid (rather than the old collection ID).
OLD_COLLECTION_ID unsigned int
Collection ID that this interrupt used to be associated with.

ArchMsg.Warning.GICv3_MOVIInvalidDevice

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that should be moved.
NEW_COLLECTION_ID unsigned int
Collection ID that was requested.

ArchMsg.Warning.GICv3_MOVIInvalidID

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that should be moved.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
NEW_COLLECTION_ID unsigned int
Collection ID that was requested.

ArchMsg.Warning.GICv3_RangeErrorCollection

Fields:

COLLECTION_ID unsigned int
Collection ID specified.
NAME string
Command or register name.

ArchMsg.Warning.GICv3_RangeErrorDeviceID

Fields:

DEVICE_ID unsigned int
Device ID specified.
NAME string
Command or register name.

ArchMsg.Warning.GICv3_RangeErrorIDBits

Fields:

ID_BITS unsigned int
Number of ID bits specified.
NAME string
Command or register name.

ArchMsg.Warning.GICv3_RangeErrorIncomingID

Fields:

COLLECTION_ID unsigned int
Collection ID specified.
ID_BITS unsigned int
Maximum number of ID bits allowed for this access.
NAME string
Command or register name.

ArchMsg.Warning.GICv3_WriteIgnoredConfiguration

Fields:

REG_NAME string
Name of register being read or written.
VALUE unsigned int
Value attempting to be written.

CHECKPOINT_MESSAGE

Report error messages from the checkpointing process. Fields:

message string
Message contents.

CHECKPOINT_RESTORE_END

Checkpoint restore completed.

CHECKPOINT_RESTORE_START

Checkpoint restore about to start.

CHECKPOINT_SAVE_END

Checkpoint save completed.

CHECKPOINT_SAVE_START

Checkpoint save about to start.

GICv3_CFGSDISABLE

Fields:

STATE bool
The new state of the signal.

GICv3_CommandComplete

Fields:

COMMAND_TYPE enum
Type of the command being executed.
ERROR enum
The error type if the command was not successful.
SUCCESS bool
Whether the command succeeded.

GICv3_CommandDecode

Fields:

COMMAND_NAME string
Name of the decoded command.
DATA_0 unsigned int
First 64-bit word from the command.
DATA_1 unsigned int
Second 64-bit word from the command.
DATA_2 unsigned int
Third 64-bit word from the command.
DATA_3 unsigned int
Forth 64-bit word from the command.
OFFSET unsigned int
Offset from GITS_CBASER that the command was read from.
VALID bool
Whether the command was valid.

GICv3_CommandStart_CLEAR

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to move to a new collection.

GICv3_CommandStart_DISCARD

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to discard.

GICv3_CommandStart_INT

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to move to a new collection.

GICv3_CommandStart_INV

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to invalidate caches for.

GICv3_CommandStart_INVALL

Fields:

COLLECTION unsigned int
The collection for which all interrupt caches should be invalidated.

GICv3_CommandStart_MAPC

Fields:

COLLECTION unsigned int
The ID of the collection being mapped.
TARGET unsigned int
The processor number or redistributor base address for the redistributor to synchronise.
VALID bool
Whether to create a new device mapping (true) or to discard an old one (false).

GICv3_CommandStart_MAPD

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ITT_ADDRESS unsigned int
The interrupt translation table address specified in the command.
SIZE unsigned int
Number of interrupt ID bits supported by this device, minus one.
VALID bool
Whether to create a new device mapping (true) or to discard an old one (false).

GICv3_CommandStart_MAPI

Fields:

COLLECTION unsigned int
The ID of the collection to map the interrupts to.
DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to map (and the same ID that will be passed to software).

GICv3_CommandStart_MAPVI

Fields:

COLLECTION unsigned int
The ID of the collection to map the interrupts to.
DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to map.
PHYSICAL_ID unsigned int
The ID presented to software for these interrupts.

GICv3_CommandStart_MOVALL

Fields:

SOURCE unsigned int
The processor number or redistributor base address for the source redistributor.
TARGET unsigned int
The processor number or redistributor base address for the target redistributor.

GICv3_CommandStart_MOVI

Fields:

COLLECTION unsigned int
The ID of the new collection to move the interrupt to.
DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupts to move to a new collection.

GICv3_CommandStart_SYNC

Fields:

TARGET unsigned int
The processor number or redistributor base address for the redistributor to synchronise.

GICv3_CommandStart_VINVALL

Fields:

VCPU unsigned int
The VCPU id for which all interrupt caches should be invalidated.

GICv3_CommandStart_VMAPI

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupt to map.
PHYSICAL_ID unsigned int
The doorbell ID to be presented to guest
VCPU unsigned int
The VCPU ID specified in the command.

GICv3_CommandStart_VMAPP

Fields:

SIZE unsigned int
Number of interrupt ID bits supported by this device, minus one.
TARGET_ADDRESS unsigned int
The Redistributor address specified in the command.
VALID bool
Whether to create a new device mapping (true) or to discard an old one (false).
VCPU unsigned int
The VCPU ID specified in the command.
VPT_ADDRESS unsigned int
The Virtual Pending Table address specified in the command.

GICv3_CommandStart_VMAPVI

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupt to map.
PHYSICAL_ID unsigned int
The doorbell ID to be presented to guest
VCPU unsigned int
The VCPU ID specified in the command.
VIRTUAL_ID unsigned int
The Virtual ID to be presented to guest.

GICv3_CommandStart_VMOVI

Fields:

DEVICE unsigned int
The Device ID specified in the command.
ID unsigned int
The incoming ID of interrupt to map.
PHYSICAL_ID unsigned int
The doorbell ID to be presented to guest
VCPU unsigned int
The VCPU ID specified in the command.

GICv3_CommandStart_VMOVP

Fields:

ITS_LIST unsigned int
The ITS numbers participating in the synchronizatio operation.
SEQUENCE_NUM unsigned int
The identifier of synchronizatio point in the command.
TARGET_ADDRESS unsigned int
The Redistributor address specified in the command.
VCPU unsigned int
The VCPU ID specified in the command.

GICv3_CommandStart_VSYNC

Fields:

VCPU unsigned int
The VCPU id for which commands must be synchronized.

GICv3_DISCARD

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Interrupt ID that should be discarded.
ITT_ADDRESS unsigned int
The ITT address found in the device table.

GICv3_INV

Fields:

COLLECTION_ID unsigned int
Collection ID for this interrupt.
DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that should be invalidated.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
PHYSICAL_ID unsigned int
Interrupt ID that will be specified to the redistributor.
REDISTRIBUTOR_BASE unsigned int
Base address for the redistributor.

GICv3_INVALL

Fields:

COLLECTION_ID unsigned int
Collection ID to be invalidated.
REDISTRIBUTOR_BASE unsigned int
Base address for the redistributor.

GICv3_ITS.MemoryMapped_Read

Trace read from a GICv3 memory-mapped register. Fields:

A0 unsigned int
Affinity level 0 (for banked registers)
A1 unsigned int
Affinity level 1 (for banked registers)
A2 unsigned int
Affinity level 2 (for banked registers)
A3 unsigned int
Affinity level 3 (for banked registers)
BANKED bool
Whether the access is to a banked register
NS bool
Access is non-secure
OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being read
VALUE unsigned int
Value returned

GICv3_ITS.MemoryMapped_Read64

Trace read from a GICv3 memory-mapped register. Fields:

A0 unsigned int
Affinity level 0 (for banked registers)
A1 unsigned int
Affinity level 1 (for banked registers)
A2 unsigned int
Affinity level 2 (for banked registers)
A3 unsigned int
Affinity level 3 (for banked registers)
BANKED bool
Whether the access is to a banked register
NS bool
Access is non-secure
OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being read
VALUE unsigned int
Value returned

GICv3_ITS.MemoryMapped_Write

Trace write to a GICv3 memory-mapped register. Fields:

A0 unsigned int
Affinity level 0 (for banked registers)
A1 unsigned int
Affinity level 1 (for banked registers)
A2 unsigned int
Affinity level 2 (for banked registers)
A3 unsigned int
Affinity level 3 (for banked registers)
BANKED bool
Whether the access is to a banked register
NS bool
Access is non-secure
OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being written
UPDATED_VALUE unsigned int
New value read back from the register; for write-only registers this will be equal to VALUE.
VALUE unsigned int
Value written

GICv3_ITS.MemoryMapped_Write64

Trace write to a GICv3 memory-mapped register. Fields:

A0 unsigned int
Affinity level 0 (for banked registers)
A1 unsigned int
Affinity level 1 (for banked registers)
A2 unsigned int
Affinity level 2 (for banked registers)
A3 unsigned int
Affinity level 3 (for banked registers)
BANKED bool
Whether the access is to a banked register
NS bool
Access is non-secure
OFFSET unsigned int
Offset of address within the GICv3 module
REG_NAME string
Name of the register being written
UPDATED_VALUE unsigned int
New value read back from the register; for write-only registers this will be equal to VALUE.
VALUE unsigned int
Value written

GICv3_ITS_TranslationStatus

Fields:

DEVICE_ID unsigned int
Device ID to be mapped.
EVENT_ID unsigned int
Incoming interrupt ID
SUCCESS bool
Translation Success

GICv3_LPISent

Fields:

COLLECTION_ID unsigned int
Collection ID that the interrupt maps to.
DEVICE_ID unsigned int
Device ID for the interrupt.
ID unsigned int
Incoming interrupt ID specified.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
PHYSICAL_ID unsigned int
Outgoing interrupt ID found in the map.
REDISTRIBUTOR_BASE unsigned int
Base address for redistristributor (may be an internal address for monolithic implementations).
SET bool
Whether the interrupt is set (rather than cleared).

GICv3_MAPCMap

Fields:

ADDRESS unsigned int
Redistributor base address.
COLLECTION_ID unsigned int
Collection ID to be mapped.

GICv3_MAPCMapMonolithic

Fields:

ADDRESS unsigned int
Redistributor base address.
COLLECTION_ID unsigned int
Collection ID to be mapped.
PROC_NUM unsigned int
Processor number for redistributor.

GICv3_MAPCUnmap

Fields:

COLLECTION_ID unsigned int
Collection ID being unmapped.

GICv3_MAPDMap

Fields:

DEVICE_ID unsigned int
Device ID to be mapped.
INTERRUPT_BITS unsigned int
Number of interrupt ID bits supported by the device.
ITT_ADDRESS unsigned int
Base address for memory to store Interrupt Translation Table.

GICv3_MAPDUnmap

Fields:

DEVICE_ID unsigned int
Device ID to be unmapped.

GICv3_MAPI

Fields:

COLLECTION_ID unsigned int
Collection ID specified in the map request.
DEVICE_ID unsigned int
Device ID specified in the map request.
ID unsigned int
Incoming interrupt ID specified in the map request.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
PHYSICAL_ID unsigned int
Outgoing interrupt ID specified in the map request.

GICv3_MOVALL

Fields:

NEW_REDISTRIBUTOR_BASE unsigned int
Base address (or processor number for monolithic implementation) for destination redistristributor.
OLD_REDISTRIBUTOR_BASE unsigned int
Base address (or processor number for monolithic implementation) for source redistristributor.

GICv3_MOVI

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that was moved.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
MOVE_REQUIRED bool
Whether a move between redistributors was required.
NEW_COLLECTION_ID unsigned int
Collection ID that this interrupt is now associated with.
OLD_COLLECTION_ID unsigned int
Collection ID that this interrupt used to be associated with.
PHYSICAL_ID unsigned int
Interrupt ID that will be specified to the redistributor.

GICv3_RegUpdated32

Fields:

REG_NAME string
The name of the register being updated.
VALUE unsigned int
The updated value.

GICv3_RegUpdated64

Fields:

REG_NAME string
The name of the register being updated.
VALUE unsigned int
The updated value.

GICv3_TableWalk_Collection

Fields:

ID unsigned int
The ID of the collection being looked up.
TARGET unsigned int
The target address (or processor number) specified for this collection.

GICv3_TableWalk_CollectionInvalid

Fields:

ID unsigned int
The ID of the collection being looked up.

GICv3_TableWalk_Device

Fields:

DEVICE_ID unsigned int
The device ID being looked up.
INTERRUPT_BITS unsigned int
The number of interrupt bits specified in the device table.
ITT_ADDRESS unsigned int
The ITT address found in the device table.

GICv3_TableWalk_DeviceInvalid

Fields:

DEVICE_ID unsigned int
The device ID being looked up.

GICv3_TableWalk_ITT

Fields:

COLLECTION_ID unsigned int
The collection ID used for routing this interrupt to the appropriate CPU.
ID unsigned int
The input indentifier used for the translation process.
ITT_ADDRESS unsigned int
The base address specified in the previous MAPD command for this table.
PHYSICAL_ID unsigned int
The physical interrupt ID presented to software.

GICv3_TableWalk_ITTInvalid

Fields:

ID unsigned int
The input indentifier used for the translation process.
ITT_ADDRESS unsigned int
The base address specified in the MAPD command that is being used.

GICv3_TableWalk_ITT_VLPI

Fields:

ID unsigned int
The input indentifier used for the translation process.
ITT_ADDRESS unsigned int
The base address specified in the previous MAPD command for this table.
PHYSICAL_ID unsigned int
The physical interrupt ID presented to software.
VCPU unsigned int
The VCPU ID used for routing this interrupt to the appropriate CPU.

GICv3_TableWalk_VCPU

Fields:

TARGET unsigned int
The Redistributor address specified in VCPU table.
VCPU unsigned int
The VCPU being looked up.
VINTERRUPT_BITS unsigned int
The number of virtual interrupt bits specified in the VCPU table.
VPT_ADDRESS unsigned int
The Virtual Pending Table address assigned to VCPU.

GICv3_TableWalk_VCPUInvalid

Fields:

VCPU unsigned int
The Virtual CPU ID being looked up.

GICv3_VMAPI

Fields:

DEVICE_ID unsigned int
Device ID specified in the map request.
ID unsigned int
Incoming interrupt ID specified in the map request.
ITT_ADDRESS unsigned int
The ITT address found in the device table.
PHYSICAL_ID unsigned int
Outgoing Physical interrupt ID specified in the map request.
VCPU unsigned int
Virtual CPU specified in the map request.
VIRTUAL_ID unsigned int
Outgoing Virtual interrupt ID specified in the map request.

GICv3_VMAPP_Map

Fields:

TARGET_ADDRESS unsigned int
The Redistributor address assigned to VCPU.
VCPU unsigned int
VCPU ID to be mapped.
VPT_ADDRESS unsigned int
The Virtual Pending Table address assigned to VCPU.

GICv3_VMAPP_Unmap

Fields:

VCPU unsigned int
Virtual CPU being unmapped.

GICv3_VMOVI

Fields:

DEVICE_ID unsigned int
Device ID for interrupt source.
ID unsigned int
Input interrupt ID that was moved.
MOVE_REQUIRED bool
Whether a move between redistributors was required.
NEW_VCPU unsigned int
Collection ID that this interrupt is now associated with.
OLD_VCPU unsigned int
Collection ID that this interrupt used to be associated with.
PHYSICAL_ID unsigned int
DoorBell Interrupt ID that will be specified to the redistributor.
VIRTUAL_ID unsigned int
Interrupt ID that will be specified to the redistributor.
Non-ConfidentialPDF file icon PDF version100964_1142_00_en
Copyright © 2014–2018 Arm Limited or its affiliates. All rights reserved.