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));