Searched refs:hw_timer_init (Results 1 – 19 of 19) sorted by relevance
33 extern void hw_timer_init(void);
49 mach_sched_init = hw_timer_init; in config_BSP()
94 void hw_timer_init(void) in hw_timer_init() function
53 mach_sched_init = hw_timer_init; in config_BSP()
57 mach_sched_init = hw_timer_init; in config_BSP()
69 mach_sched_init = hw_timer_init; in config_BSP()
89 mach_sched_init = hw_timer_init; in config_BSP()
93 mach_sched_init = hw_timer_init; in config_BSP()
80 mach_sched_init = hw_timer_init; in config_BSP()
101 mach_sched_init = hw_timer_init; in config_BSP()
134 mach_sched_init = hw_timer_init; in config_BSP()
126 mach_sched_init = hw_timer_init; in config_BSP()
121 void hw_timer_init(void) in hw_timer_init() function
138 mach_sched_init = hw_timer_init; in config_BSP()
139 void hw_timer_init(void) in hw_timer_init() function
110 void hw_timer_init(void) in hw_timer_init() function
190 mach_sched_init = hw_timer_init; in config_BSP()
245 mach_sched_init = hw_timer_init; in config_BSP()
225 mach_sched_init = hw_timer_init; in config_BSP()