On Wed, Apr 08, 2009 at 12:15:45AM +0000, David Young wrote: > Modified Files: > src/sys/dev/acpi: acpi_timer.c acpi_timer.h > > Log Message: > Add acpitimer_detach() to eventually support acpi(4) detachment.
tc_detach() does not work correctly on a running system. It can race with binuptime(), so the timecounter may still be in use when it is destroyed. One solution would be to use the passive serialization patch that I posted to tech-k...@. I believe rmind@ is working on it.