boot_override_clocksource 1218 kernel/time/clocksource.c __setup("clocksource=", boot_override_clocksource);
boot_override_clocksource 1231 kernel/time/clocksource.c 		return boot_override_clocksource("acpi_pm");
boot_override_clocksource 1234 kernel/time/clocksource.c 	return boot_override_clocksource(str);