Re: CVS commit: src/sys/dev/acpi

[Andrew Doran <ad%netbsd.org@localhost>]

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-kern@. I believe rmind@ is working on it.