Searched refs:timetype (Results 1 – 1 of 1) sorted by relevance
664 char *timetype; in time_init_smp() local668 timetype = "HPET"; in time_init_smp()673 timetype = "HPET/TSC"; in time_init_smp()678 timetype = "PIT"; in time_init_smp()682 timetype = "PIT/TSC"; in time_init_smp()686 printk(KERN_INFO "time.c: Using %s based timekeeping.\n", timetype); in time_init_smp()