Symbol: hpet_timer_available
usr/src/uts/i86pc/io/hpet_acpi.c
70
static int hpet_timer_available(uint32_t allocated_timers, uint32_t n);
usr/src/uts/i86pc/io/hpet_acpi.c
771
if (!hpet_timer_available(hip->allocated_timers, timer))