boot_override_clocksource  544 kernel/time/clocksource.c 		return boot_override_clocksource("acpi_pm");
boot_override_clocksource  548 kernel/time/clocksource.c 	return boot_override_clocksource(str);