Symbol: acpitimer_detach
sys/dev/acpi/acpi.c
636
if ((rc = acpitimer_detach()) != 0)
sys/dev/acpi/acpi_timer.h
33
int acpitimer_detach(void);