hpet_timer_alloc
static void hpet_timer_alloc(uint32_t *allocated_timers, uint32_t n);
hpet_timer_alloc(&hip->allocated_timers, timer);