------------- Registers -- -------------
type PLATFORM_Register is record
ASIC : Boolean;
FPGA : Boolean;
Reserved_2_31 : HAL.UInt30;
end record
with Volatile_Full_Access, Object_Size => 32,
Bit_Order => System.Low_Order_First;
TBMAN_Periph : aliased TBMAN_Peripheral
with Import, Address => TBMAN_Base;
type TBMAN_Peripheral is record
PLATFORM : aliased PLATFORM_Register;
end record
with Volatile;