Searched defs:allocated_timers (Results 1 – 2 of 2) sorted by relevance
660 hpet_timer_alloc(uint32_t *allocated_timers, uint32_t n) in hpet_timer_alloc()670 hpet_timer_available(uint32_t allocated_timers, uint32_t n) in hpet_timer_available()
255 uint32_t allocated_timers; /* bitmap of timers in use */ member