hp_tick_freq      109 drivers/char/hpet.c 	unsigned long long hp_tick_freq;
hp_tick_freq      569 drivers/char/hpet.c 	m = hpets->hp_tick_freq + (dis >> 1);
hp_tick_freq      898 drivers/char/hpet.c 	hpetp->hp_tick_freq = temp; /* ticks per second */
hp_tick_freq      907 drivers/char/hpet.c 	temp = hpetp->hp_tick_freq;
hp_tick_freq      950 drivers/char/hpet.c 		clocksource_register_hz(&clocksource_hpet, hpetp->hp_tick_freq);