hpet_nhpet         64 drivers/char/hpet.c static u32 hpet_nhpet, hpet_max_freq = HPET_USER_FREQ;
hpet_nhpet        864 drivers/char/hpet.c 	hpetp->hp_which = hpet_nhpet++;