Home
last modified time | relevance | path

Searched refs:opt_clocksource (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/x86/
A Dtime.c42 static char __initdata opt_clocksource[10]; variable
43 string_param("clocksource", opt_clocksource);
772 if ( (opt_clocksource[0] != '\0') && strcmp(opt_clocksource, "tsc") ) in init_platform_timer()
777 if ( !strcmp(opt_clocksource, pts->id) ) in init_platform_timer()
787 opt_clocksource); in init_platform_timer()
1730 else if ( !strcmp(opt_clocksource, "tsc") && in verify_tsc_reliability()

Completed in 5 milliseconds