On Tue, Apr 07, 2009 at 10:30:09PM +0000, David Young wrote: > Modified Files: > src/sys/dev/ic: attimer.c attimervar.h > src/sys/dev/isa: pcppi.c > > Log Message: > Make pcppi(4) detach the "speaker" from attimer(4), so that the > corresponding attimer(4) resource is not perpetually busy: now it > is possible to detach and to reattach pcppi(4). Make attimer(4)'s > device-detachment hook return EBUSY if pcppi(4) is still attached, so > that pcppi(4) cannot end up with a dangling pointer to attimer(4).
pcppi_bell() can race with pcppi_detach() -> pcppi_bell_stop()
