vgic Struct Reference

Data Fields
volatile uint32_t *	base
uint32_t	num_lr
uint32_t	initialized
uint64_t	valid_lr_mask

---

Detailed Description

Definition at line 70 of file vgic.c.

---

Field Documentation

volatile uint32_t* base

Definition at line 71 of file vgic.c.

uint32_t initialized

Definition at line 73 of file vgic.c.

uint32_t num_lr

Definition at line 72 of file vgic.c.

uint64_t valid_lr_mask

Definition at line 74 of file vgic.c.

---

The documentation for this struct was generated from the following file:

• gic/vgic.c