Matthias Drochner <[email protected]> wrote: > This shows two things: > - There is a blatant bug in the device g/c logics.
That KASSERT() is wrong. It can safely be removed. > - Each device_lookup() as done by basically every device driver entry > pulls config_alldevs_lock, which is at splhigh. Right, there was a discussion with David Young about this i.e. reworking the case when device gets unplugged during some operation. IPL_HIGH can and should be avoided. -- Mindaugas
