HPET_GET_NUM_TIMERS - Haiku

Symbol: HPET_GET_NUM_TIMERS

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

uint32 numTimers = HPET_GET_NUM_TIMERS(sHPETRegs) + 1;

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

uint32 numTimers = HPET_GET_NUM_TIMERS(sHPETRegs) + 1;