On Wed, Apr 08, 2009 at 07:19:58PM +0000, Andrew Doran wrote: > 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.
Thanks, I will have a look at this problem and the solution that you suggest. I hope that the passive serialization patch will hit the tree before/if I need it. Dave -- David Young OJC Technologies dyo...@ojctech.com Urbana, IL * (217) 278-3933