Data Structures

Here are the data structures with brief descriptions:

ACTLR_Type	Bit field declaration for ACTLR layout
CNTP_CTL_Type	Physical Timer Control register
CPACR_Type	Bit field declaration for CPACR layout
CPSR_Type	Bit field declaration for CPSR layout
DFSR_Type	Bit field declaration for DFSR layout
FPSCR_Type	Bit field declaration for FPSCR layout
GICDistributor_Type	Structure type to access the Generic Interrupt Controller Distributor (GICD)
GICInterface_Type	Structure type to access the Generic Interrupt Controller Interface (GICC)
IFSR_Type	Bit field declaration for IFSR layout
ISR_Type	Bit field declaration for ISR layout
L2C_310_TypeDef	Union type to access the L2C_310 Cache Controller
mmu_region_attributes_Type
SCTLR_Type	Bit field declaration for SCTLR layout
Timer_Type	Structure type to access the Private Timer