------------------ Base addresses -- ------------------
ADC_Base : constant System.Address := System'To_Address (16#4004C000#);
BUSCTRL_Base : constant System.Address := System'To_Address (16#40030000#);
CLOCKS_Base : constant System.Address := System'To_Address (16#40008000#);
DMA_Base : constant System.Address := System'To_Address (16#50000000#);
I2C0_Base : constant System.Address := System'To_Address (16#40044000#);
I2C1_Base : constant System.Address := System'To_Address (16#40048000#);
IO_BANK0_Base : constant System.Address := System'To_Address (16#40014000#);
IO_QSPI_Base : constant System.Address := System'To_Address (16#40018000#);
PADS_BANK0_Base : constant System.Address := System'To_Address (16#4001C000#);
PADS_QSPI_Base : constant System.Address := System'To_Address (16#40020000#);
PIO0_Base : constant System.Address := System'To_Address (16#50200000#);
PIO1_Base : constant System.Address := System'To_Address (16#50300000#);
PLL_SYS_Base : constant System.Address := System'To_Address (16#40028000#);
PLL_USB_Base : constant System.Address := System'To_Address (16#4002C000#);
PPB_Base : constant System.Address := System'To_Address (16#E0000000#);
PSM_Base : constant System.Address := System'To_Address (16#40010000#);
PWM_Base : constant System.Address := System'To_Address (16#40050000#);
RESETS_Base : constant System.Address := System'To_Address (16#4000C000#);
ROSC_Base : constant System.Address := System'To_Address (16#40060000#);
RTC_Base : constant System.Address := System'To_Address (16#4005C000#);
SIO_Base : constant System.Address := System'To_Address (16#D0000000#);
SPI0_Base : constant System.Address := System'To_Address (16#4003C000#);
SPI1_Base : constant System.Address := System'To_Address (16#40040000#);
SYSCFG_Base : constant System.Address := System'To_Address (16#40004000#);
SYSINFO_Base : constant System.Address := System'To_Address (16#40000000#);
TBMAN_Base : constant System.Address := System'To_Address (16#4006C000#);
TIMER_Base : constant System.Address := System'To_Address (16#40054000#);
UART0_Base : constant System.Address := System'To_Address (16#40034000#);
UART1_Base : constant System.Address := System'To_Address (16#40038000#);
USBCTRL_DPRAM_Base : constant System.Address := System'To_Address (16#50100000#);
USBCTRL_REGS_Base : constant System.Address := System'To_Address (16#50110000#);
VREG_AND_CHIP_RESET_Base : constant System.Address := System'To_Address (16#40064000#);
WATCHDOG_Base : constant System.Address := System'To_Address (16#40058000#);
XIP_CTRL_Base : constant System.Address := System'To_Address (16#14000000#);
XIP_SSI_Base : constant System.Address := System'To_Address (16#18000000#);
XOSC_Base : constant System.Address := System'To_Address (16#40024000#);