Symbol: hpet_acpi_fini
usr/src/uts/i86pc/io/pcplusmp/apic_common.c
1396
hpet_acpi_fini();
usr/src/uts/i86pc/sys/hpet.h
79
void hpet_acpi_fini(void);