1  PROVIDE ( UART0 = 0x3f400000 );
 2  PROVIDE ( SPIMEM1 = 0x3f402000 );
 3  PROVIDE ( SPIMEM0 = 0x3f403000 );
 4  PROVIDE ( GPIO = 0x3f404000 );
 5  PROVIDE ( SIGMADELTA = 0x3f404f00 );
 6  PROVIDE ( RTCCNTL = 0x3f408000 );
 7  PROVIDE ( RTCIO = 0x3f408400 );
 8  PROVIDE ( SENS = 0x3f408800 );
 9  PROVIDE ( HINF = 0x3f40B000 );
10  PROVIDE ( I2S0 = 0x3f40F000 );
11  PROVIDE ( UART1 = 0x3f410000 );
12  PROVIDE ( I2C0 = 0x3f413000 );
13  PROVIDE ( UHCI0 = 0x3f414000 );
14  PROVIDE ( HOST = 0x3f415000 );
15  PROVIDE ( RMT = 0x3f416000 );
16  PROVIDE ( RMTMEM = 0x3f416400 );
17  PROVIDE ( PCNT = 0x3f417000 );
18  PROVIDE ( SLC = 0x3f418000 );
19  PROVIDE ( LEDC = 0x3f419000 );
20  PROVIDE ( CP_DMA = 0x3f4c3000 );
21  PROVIDE ( TIMERG0 = 0x3f41F000 );
22  PROVIDE ( TIMERG1 = 0x3f420000 );
23  PROVIDE ( GPSPI2 = 0x3f424000 );
24  PROVIDE ( GPSPI3 = 0x3f425000 );
25  PROVIDE ( SYSCON = 0x3f426000 );
26  PROVIDE ( I2C1 = 0x3f427000 );
27  PROVIDE ( TWAI = 0x3f42B000 );
28  PROVIDE ( APB_SARADC = 0x3f440000 );
29  PROVIDE ( DEDIC_GPIO = 0x3f4cf000 );
30  PROVIDE ( USB0     = 0x60080000 );
31  PROVIDE ( USB_WRAP = 0x3f439000 );