Searched refs:init_tsc_clocksource (Results 1 – 1 of 1) sorted by relevance
1403 static int __init init_tsc_clocksource(void) in init_tsc_clocksource() function1434 device_initcall(init_tsc_clocksource);