vgic_status Struct Reference

#include <vgic.h>

Data Fields
uint32_t	saved_once
uint32_t	lr [64]
uint32_t	hcr
uint32_t	apr
uint32_t	vmcr

---

Detailed Description

Definition at line 16 of file vgic.h.

---

Field Documentation

uint32_t apr

Definition at line 20 of file vgic.h.

uint32_t hcr

Definition at line 19 of file vgic.h.

uint32_t lr[64]

Definition at line 18 of file vgic.h.

uint32_t saved_once

Definition at line 17 of file vgic.h.

uint32_t vmcr

Definition at line 21 of file vgic.h.

---

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

• include/vgic.h