#include <asm/mach/arch.h>
#include <asm/mach/map.h>
+#include <asm/mach/time.h>
#include <asm/mach-types.h>
#include <asm/page.h>
#include <asm/hardware/gic.h>
},
};
+static void __init xilinx_zynq_timer_init(void)
+{
+ xttcpss_timer_init();
+}
+
+/*
+ * Instantiate and initialize the system timer structure
+ */
+static struct sys_timer xttcpss_sys_timer = {
+ .init = xilinx_zynq_timer_init,
+};
+
/**
* xilinx_map_io() - Create memory mappings needed for early I/O.
*/
#ifndef __MACH_ZYNQ_COMMON_H__
#define __MACH_ZYNQ_COMMON_H__
-#include <asm/mach/time.h>
#include <mach/slcr.h>
-extern struct sys_timer xttcpss_sys_timer;
+void __init xttcpss_timer_init(void);
void platform_device_init(void);
#include <linux/clk.h>
#include <linux/err.h>
-#include <asm/mach/time.h>
#include <asm/smp_twd.h>
#include <mach/zynq_soc.h>
* Initializes the timer hardware and register the clock source and clock event
* timers with Linux kernal timer framework
*/
-static void __init xttcpss_timer_init(void)
+void __init xttcpss_timer_init(void)
{
u32 irq;
struct device_node *timer = NULL;
twd_local_timer_of_register();
#endif
}
-
-/*
- * Instantiate and initialize the system timer structure
- */
-struct sys_timer xttcpss_sys_timer = {
- .init = xttcpss_timer_init,
-};