Searched refs:gtdt_platform_timer_init (Results 1 – 1 of 1) sorted by relevance
357 static int __init gtdt_platform_timer_init(void) in gtdt_platform_timer_init() function420 device_initcall(gtdt_platform_timer_init);