Searched refs:sni_a20r_timer_setup (Results 1 – 1 of 1) sorted by relevance
62 static void __init sni_a20r_timer_setup(void) in sni_a20r_timer_setup() function163 sni_a20r_timer_setup(); in plat_time_init()