Symbol: hpet_timer_alloc
usr/src/uts/i86pc/io/hpet_acpi.c
71
static void hpet_timer_alloc(uint32_t *allocated_timers, uint32_t n);
usr/src/uts/i86pc/io/hpet_acpi.c
780
hpet_timer_alloc(&hip->allocated_timers, timer);