HPET_ID           414 arch/x86/kernel/hpet.c 	id = hpet_readl(HPET_ID);
HPET_ID           461 arch/x86/kernel/hpet.c 	hpet_reserve_platform_timers(hpet_readl(HPET_ID));