HPET_MAX_TIMERS 999 drivers/char/hpet.c if (hdp->hd_nirqs >= HPET_MAX_TIMERS) HPET_MAX_TIMERS 100 include/linux/hpet.h unsigned int hd_irq[HPET_MAX_TIMERS];