HPET_IS_64BIT - Haiku

Symbol: HPET_IS_64BIT

src/add-ons/kernel/drivers/timer/hpet.cpp

numTimers, HPET_IS_64BIT(sHPETRegs) ? "64" : "32",

src/system/kernel/arch/x86/timers/x86_hpet.cpp

numTimers, HPET_IS_64BIT(sHPETRegs) ? "64" : "32");