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();
};