static void __init s3c64xx_dt_init_machine(void) { samsung_wdt_reset_of_init(); }
static void __init s3c64xx_dt_init_irq(void) { of_clk_init(NULL); samsung_wdt_reset_of_init(); irqchip_init(); };