Symbol: boot_override_clocksource
kernel/time/clocksource.c
1510
__setup("clocksource=", boot_override_clocksource);
kernel/time/clocksource.c
1523
return boot_override_clocksource("acpi_pm");
kernel/time/clocksource.c
1526
return boot_override_clocksource(str);