------------- Registers -- -------------
type NVIC_IPR_Registers is array (0 .. 7) of HAL.UInt32
with Volatile;
NVIC_Periph : aliased NVIC_Peripheral
with Import, Address => NVIC_Base;
type NVIC_Peripheral is record
NVIC_ISER : aliased HAL.UInt32;
NVIC_ICER : aliased HAL.UInt32;
NVIC_ISPR : aliased HAL.UInt32;
NVIC_ICPR : aliased HAL.UInt32;
NVIC_IPR : aliased NVIC_IPR_Registers;
end record
with Volatile;