------------- Registers -- -------------
subtype ARMED_ARMED_Field is HAL.UInt4;
type ARMED_Register is record
ARMED : ARMED_ARMED_Field := 16#0#;
Reserved_4_31 : HAL.UInt28 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type DBGPAUSE_DBG_Field
(As_Array : Boolean := False)
is record
case As_Array is
when False =>
Val : HAL.UInt2;
when True =>
Arr : DBGPAUSE_DBG_Field_Array;
end case;
end record
with Unchecked_Union, Size => 2;
type DBGPAUSE_DBG_Field_Array is array (0 .. 1) of Boolean
with Component_Size => 1, Size => 2;
type DBGPAUSE_Register is record
Reserved_0_0 : HAL.Bit := 16#1#;
DBG : DBGPAUSE_DBG_Field := (As_Array => False, Val => 16#1#);
Reserved_3_31 : HAL.UInt29 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type INTE_Register is record
ALARM_0 : Boolean := False;
ALARM_1 : Boolean := False;
ALARM_2 : Boolean := False;
ALARM_3 : Boolean := False;
Reserved_4_31 : HAL.UInt28 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type INTF_Register is record
ALARM_0 : Boolean := False;
ALARM_1 : Boolean := False;
ALARM_2 : Boolean := False;
ALARM_3 : Boolean := False;
Reserved_4_31 : HAL.UInt28 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type INTR_Register is record
ALARM_0 : Boolean := False;
ALARM_1 : Boolean := False;
ALARM_2 : Boolean := False;
ALARM_3 : Boolean := False;
Reserved_4_31 : HAL.UInt28 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type INTS_Register is record
ALARM_0 : Boolean;
ALARM_1 : Boolean;
ALARM_2 : Boolean;
ALARM_3 : Boolean;
Reserved_4_31 : HAL.UInt28;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
type PAUSE_Register is record
PAUSE : Boolean := False;
Reserved_1_31 : HAL.UInt31 := 16#0#;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
TIMER_Periph : aliased TIMER_Peripheral
with Import, Address => TIMER_Base;
type TIMER_Peripheral is record
TIMEHW : aliased HAL.UInt32;
TIMELW : aliased HAL.UInt32;
TIMEHR : aliased HAL.UInt32;
TIMELR : aliased HAL.UInt32;
ALARM0 : aliased HAL.UInt32;
ALARM1 : aliased HAL.UInt32;
ALARM2 : aliased HAL.UInt32;
ALARM3 : aliased HAL.UInt32;
ARMED : aliased ARMED_Register;
TIMERAWH : aliased HAL.UInt32;
TIMERAWL : aliased HAL.UInt32;
DBGPAUSE : aliased DBGPAUSE_Register;
PAUSE : aliased PAUSE_Register;
INTR : aliased INTR_Register;
INTE : aliased INTE_Register;
INTF : aliased INTF_Register;
INTS : aliased INTS_Register;
end record
with Volatile;