------------- Registers -- -------------
type GPIO0_DRIVE_Field is
  (Val_2mA,
   Val_4mA,
   Val_8mA,
   Val_12mA)
  with Size => 2;
type GPIO_Register is record
   SLEWFAST      : Boolean := False;
   SCHMITT       : Boolean := True;
   PDE           : Boolean := True;
   PUE           : Boolean := False;
   DRIVE         : GPIO0_DRIVE_Field := RP2040_SVD.PADS_BANK0.Val_4mA;
   IE            : Boolean := True;
   OD            : Boolean := False;
   Reserved_8_31 : HAL.UInt24 := 16#0#;
end record
  with Volatile_Full_Access, Object_Size => 32,
       Bit_Order => System.Low_Order_First;
PADS_BANK0_Periph : aliased PADS_BANK0_Peripheral
  with Import, Address => PADS_BANK0_Base;
type PADS_BANK0_Peripheral is record
   VOLTAGE_SELECT : aliased VOLTAGE_SELECT_Register;
   GPIO0          : aliased GPIO_Register;
   GPIO1          : aliased GPIO_Register;
   GPIO2          : aliased GPIO_Register;
   GPIO3          : aliased GPIO_Register;
   GPIO4          : aliased GPIO_Register;
   GPIO5          : aliased GPIO_Register;
   GPIO6          : aliased GPIO_Register;
   GPIO7          : aliased GPIO_Register;
   GPIO8          : aliased GPIO_Register;
   GPIO9          : aliased GPIO_Register;
   GPIO10         : aliased GPIO_Register;
   GPIO11         : aliased GPIO_Register;
   GPIO12         : aliased GPIO_Register;
   GPIO13         : aliased GPIO_Register;
   GPIO14         : aliased GPIO_Register;
   GPIO15         : aliased GPIO_Register;
   GPIO16         : aliased GPIO_Register;
   GPIO17         : aliased GPIO_Register;
   GPIO18         : aliased GPIO_Register;
   GPIO19         : aliased GPIO_Register;
   GPIO20         : aliased GPIO_Register;
   GPIO21         : aliased GPIO_Register;
   GPIO22         : aliased GPIO_Register;
   GPIO23         : aliased GPIO_Register;
   GPIO24         : aliased GPIO_Register;
   GPIO25         : aliased GPIO_Register;
   GPIO26         : aliased GPIO_Register;
   GPIO27         : aliased GPIO_Register;
   GPIO28         : aliased GPIO_Register;
   GPIO29         : aliased GPIO_Register;
   SWCLK          : aliased SWCLK_Register;
   SWD            : aliased SWD_Register;
end record
  with Volatile;
type SWCLK_DRIVE_Field is
  (Val_2mA,
   Val_4mA,
   Val_8mA,
   Val_12mA)
  with Size => 2;
type SWCLK_Register is record
   SLEWFAST      : Boolean := False;
   SCHMITT       : Boolean := True;
   PDE           : Boolean := False;
   PUE           : Boolean := True;
   DRIVE         : SWCLK_DRIVE_Field := RP2040_SVD.PADS_BANK0.Val_4mA;
   IE            : Boolean := True;
   OD            : Boolean := True;
   Reserved_8_31 : HAL.UInt24 := 16#0#;
end record
  with Volatile_Full_Access, Object_Size => 32,
       Bit_Order => System.Low_Order_First;
type SWD_DRIVE_Field is
  (Val_2mA,
   Val_4mA,
   Val_8mA,
   Val_12mA)
  with Size => 2;
type SWD_Register is record
   SLEWFAST      : Boolean := False;
   SCHMITT       : Boolean := True;
   PDE           : Boolean := False;
   PUE           : Boolean := True;
   DRIVE         : SWD_DRIVE_Field := RP2040_SVD.PADS_BANK0.Val_4mA;
   IE            : Boolean := True;
   OD            : Boolean := False;
   Reserved_8_31 : HAL.UInt24 := 16#0#;
end record
  with Volatile_Full_Access, Object_Size => 32,
       Bit_Order => System.Low_Order_First;
type VOLTAGE_SELECT_Register is record
   VOLTAGE_SELECT : VOLTAGE_SELECT_VOLTAGE_SELECT_Field :=
                     RP2040_SVD.PADS_BANK0.Val_3v3;
   Reserved_1_31  : HAL.UInt31 := 16#0#;
end record
  with Volatile_Full_Access, Object_Size => 32,
       Bit_Order => System.Low_Order_First;
type VOLTAGE_SELECT_VOLTAGE_SELECT_Field is
   Val_3v3,
   Val_1v8)
  with Size => 1;
Set voltage to 1.8V (DVDD <= 1V8)