HPET_ID_NUMBER 157 arch/x86/kernel/hpet.c channels = ((id & HPET_ID_NUMBER) >> HPET_ID_NUMBER_SHIFT) + 1; HPET_ID_NUMBER 850 arch/x86/kernel/hpet.c channels = ((id & HPET_ID_NUMBER) >> HPET_ID_NUMBER_SHIFT) + 1;