*/
  
  #include <linux/of_platform.h>
 +#include <linux/of_fdt.h>
  #include <linux/serial_core.h>
 +#include <linux/memblock.h>
+ #include <linux/clocksource.h>
  
  #include <asm/mach/arch.h>
  #include <mach/map.h>
        .map_io         = exynos4_dt_map_io,
        .init_machine   = exynos4_dt_machine_init,
        .init_late      = exynos_init_late,
-       .init_time      = exynos4_timer_init,
+       .init_time      = clocksource_of_init,
        .dt_compat      = exynos4_dt_compat,
        .restart        = exynos4_restart,
 +      .reserve        = exynos4_reserve,
  MACHINE_END