TIMER_MULTIPLIER  147 arch/um/kernel/time.c 		time_travel_set_time(time_travel_time + TIMER_MULTIPLIER);
TIMER_MULTIPLIER  148 arch/um/kernel/time.c 		return time_travel_time / TIMER_MULTIPLIER;
TIMER_MULTIPLIER  151 arch/um/kernel/time.c 	return os_nsecs() / TIMER_MULTIPLIER;
TIMER_MULTIPLIER  177 arch/um/kernel/time.c 	err = clocksource_register_hz(&timer_clocksource, NSEC_PER_SEC/TIMER_MULTIPLIER);