4.70 GIC_400 - trace

This section describes the trace sources.

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.

debug_out

Debug trace from the VGIC model, this contains implementation detail that is unlikely to be generally useful. Fields:

message string
The message from the VGIC
sequence_id unsigned int
Each successive message is labeled with an increasing number

gic_log_errors_out

Errors from the VGIC model. Fields:

message string
The message from the VGIC
sequence_id unsigned int
Each successive message is labeled with an increasing number

gic_log_fatal_out

Fatal error from the VGIC model. Fields:

message string
The message from the VGIC

gic_log_warnings_out

Warnings from the VGIC model. Fields:

message string
The message from the VGIC
sequence_id unsigned int
Each successive message is labeled with an increasing number

vgic_cfgsdisable

The VGIC CFGSDISABLE pin has changed its state, this (un)locks down some configuration registers. Fields:

state bool
The state of the signal

vgic_distributor_register_access

Distributor interface accesses on the VGIC. Fields:

cpu_id unsigned int
The CPU that is making the request
data unsigned int
The data in the access aligned to the LSB.
is_read enum
Is the access a read?
offset enum
Register within interface, top bit indicates NS state
offset_in_word unsigned int
The offset of the access in the word.
size_in_bytes unsigned int
The size of the access in bytes.

vgic_fiq_out

The FIQ output signal to the core. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_hypervisor_register_access

Hypervisor interface register accesses. Fields:

cpu_id unsigned int
The CPU that is making the request
data unsigned int
The data in the access aligned to the LSB.
is_read enum
Is the access a read?
offset enum
Register within interface, top bit indicates NS state
offset_in_word unsigned int
The offset of the access in the word.
size_in_bytes unsigned int
The size of the access in bytes.

vgic_irq_out

The IRQ output signal to the core. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_legacy_fiq_in

The legacy FIQ input signal into the VGIC. Fields:

cpu_id unsigned int
The CPU id. There is one legacy IRQ/FIQ per core.
state bool
The state of the signal

vgic_legacy_irq_in

The legacy IRQ input signal into the VGIC. Fields:

cpu_id unsigned int
The CPU id. There is one legacy IRQ/FIQ per core.
state bool
The state of the signal

vgic_physical_register_access

Physical interface accesses on the VGIC. Fields:

cpu_id unsigned int
The CPU that is making the request
data unsigned int
The data in the access aligned to the LSB.
is_read enum
Is the access a read?
offset enum
Register within interface, top bit indicates NS state
offset_in_word unsigned int
The offset of the access in the word.
size_in_bytes unsigned int
The size of the access in bytes.

vgic_reset

The reset pin on the VGIC has been changed. Fields:

state bool
The state of the SPI signal

vgic_spi

Shared Peripheral Interrupt signal changed. Fields:

id unsigned int
The interrupt id this will generate. SPIs start at ID 32 and so you will only see ids of >= 32
state bool
The state of the SPI signal

vgic_vfiq_out

The VFIQ output signal to the core. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_virq_out

The VIRQ output signal to the core. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_virtual_machine_register_access

Virtual machine interface register accesses. Fields:

cpu_id unsigned int
The CPU that is making the request
data unsigned int
The data in the access aligned to the LSB.
is_read enum
Is the access a read?
offset enum
Register within interface, top bit indicates NS state
offset_in_word unsigned int
The offset of the access in the word.
size_in_bytes unsigned int
The size of the access in bytes.

vgic_virtual_maintenance_interrupt

The VGIC is signaling that it needs software help from the hypervisor to maintain theVGIC interfaces. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_wakeup_fiq

The wakeup FIQ signal. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal

vgic_wakeup_irq

The wakeup IRQ signal. Fields:

cpu_id unsigned int
The CPU id.
state bool
The state of the signal
Non-ConfidentialPDF file icon PDF version100964_1142_00_en
Copyright © 2014–2018 Arm Limited or its affiliates. All rights reserved.