|
@@ -263,5 +263,4 @@ DT_MACHINE_START(LPC32XX_DT, "LPC32XX SoC (Flattened Device Tree)")
|
|
.init_time = lpc32xx_timer_init,
|
|
.init_time = lpc32xx_timer_init,
|
|
.init_machine = lpc3250_machine_init,
|
|
.init_machine = lpc3250_machine_init,
|
|
.dt_compat = lpc32xx_dt_compat,
|
|
.dt_compat = lpc32xx_dt_compat,
|
|
- .restart = lpc23xx_restart,
|
|
|
|
MACHINE_END
|
|
MACHINE_END
|