8 #include <linux/errno.h>
18 #include <mach/hardware.h>
19 #include <mach/irqs.h>
21 #ifdef CONFIG_HAVE_ARM_TWD
31 twd_local_timer = &u8500_twd_local_timer;
33 if (of_have_populated_dt())
34 twd_local_timer_of_register();
38 pr_err(
"twd_local_timer_register failed %d\n", err);
42 #define ux500_twd_init() do { } while(0)
46 { .compatible =
"stericsson,db8500-prcmu-timer-4", },
50 static void __init ux500_timer_init(
void)
57 if (cpu_is_u8500_family() || cpu_is_ux540_family()) {
65 if (of_have_populated_dt()) {
76 prcmu_timer_base = tmp_base;
104 static void ux500_timer_reset(
void)
111 .init = ux500_timer_init,
112 .resume = ux500_timer_reset,