>> bus_teardown_intr(...) > We can't get an interrupt after this returns, and we're guaranteed > that the interrupt has terminated. Ah, I missed the msleep() synchronization point in ithread_remove_handler(). Jeffrey