151     create_unimplemented_device("timer[2]",  0x40000000, 0x400);  in stm32f100_soc_realize()
152     create_unimplemented_device("timer[3]",  0x40000400, 0x400);  in stm32f100_soc_realize()
153     create_unimplemented_device("timer[4]",  0x40000800, 0x400);  in stm32f100_soc_realize()
154     create_unimplemented_device("timer[6]",  0x40001000, 0x400);  in stm32f100_soc_realize()
155     create_unimplemented_device("timer[7]",  0x40001400, 0x400);  in stm32f100_soc_realize()
156     create_unimplemented_device("RTC",       0x40002800, 0x400);  in stm32f100_soc_realize()
157     create_unimplemented_device("WWDG",      0x40002C00, 0x400);  in stm32f100_soc_realize()
158     create_unimplemented_device("IWDG",      0x40003000, 0x400);  in stm32f100_soc_realize()
159     create_unimplemented_device("I2C1",      0x40005400, 0x400);  in stm32f100_soc_realize()
160     create_unimplemented_device("I2C2",      0x40005800, 0x400);  in stm32f100_soc_realize()
161     create_unimplemented_device("BKP",       0x40006C00, 0x400);  in stm32f100_soc_realize()
162     create_unimplemented_device("PWR",       0x40007000, 0x400);  in stm32f100_soc_realize()
163     create_unimplemented_device("DAC",       0x40007400, 0x400);  in stm32f100_soc_realize()
164     create_unimplemented_device("CEC",       0x40007800, 0x400);  in stm32f100_soc_realize()
165     create_unimplemented_device("AFIO",      0x40010000, 0x400);  in stm32f100_soc_realize()
166     create_unimplemented_device("EXTI",      0x40010400, 0x400);  in stm32f100_soc_realize()
167     create_unimplemented_device("GPIOA",     0x40010800, 0x400);  in stm32f100_soc_realize()
168     create_unimplemented_device("GPIOB",     0x40010C00, 0x400);  in stm32f100_soc_realize()
169     create_unimplemented_device("GPIOC",     0x40011000, 0x400);  in stm32f100_soc_realize()
170     create_unimplemented_device("GPIOD",     0x40011400, 0x400);  in stm32f100_soc_realize()
171     create_unimplemented_device("GPIOE",     0x40011800, 0x400);  in stm32f100_soc_realize()
172     create_unimplemented_device("ADC1",      0x40012400, 0x400);  in stm32f100_soc_realize()
173     create_unimplemented_device("timer[1]",  0x40012C00, 0x400);  in stm32f100_soc_realize()
174     create_unimplemented_device("timer[15]", 0x40014000, 0x400);  in stm32f100_soc_realize()
175     create_unimplemented_device("timer[16]", 0x40014400, 0x400);  in stm32f100_soc_realize()
176     create_unimplemented_device("timer[17]", 0x40014800, 0x400);  in stm32f100_soc_realize()
177     create_unimplemented_device("DMA",       0x40020000, 0x400);  in stm32f100_soc_realize()
178     create_unimplemented_device("RCC",       0x40021000, 0x400);  in stm32f100_soc_realize()
179     create_unimplemented_device("Flash Int", 0x40022000, 0x400);  in stm32f100_soc_realize()
180     create_unimplemented_device("CRC",       0x40023000, 0x400);  in stm32f100_soc_realize()