khypervisor
v1
|
Data Fields | |
uint32_t | baseaddr |
volatile uint32_t * | ba_gicd |
volatile uint32_t * | ba_gicc |
volatile uint32_t * | ba_gich |
volatile uint32_t * | ba_gicv |
volatile uint32_t * | ba_gicvi |
uint32_t | lines |
uint32_t | cpus |
gic_irq_handler_t | handlers [GIC_NUM_MAX_IRQS] |
uint32_t | initialized |