HPET_ID           145 arch/x86/kernel/hpet.c 	id = hpet_readl(HPET_ID);
HPET_ID           846 arch/x86/kernel/hpet.c 	id = hpet_readl(HPET_ID);