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