When ppb(4) detaches, make its bus range available again even if it was
authorkettenis <kettenis@openbsd.org>
Fri, 20 Jan 2023 15:11:44 +0000 (15:11 +0000)
committerkettenis <kettenis@openbsd.org>
Fri, 20 Jan 2023 15:11:44 +0000 (15:11 +0000)
commit40b33ac37179b233d929433d642c1c354342441c
tree628e7a691812965455b193b73450342a984ee6d6
parentc0bc1f191d435f5659941ae5538553fa6cd9bd38
When ppb(4) detaches, make its bus range available again even if it was
configured by the firmware and pre-allocated by our parent pci(4) bus.

Fixes unplugging and replugging thunderbolt devices that were plugged in
when the machine was booted.

ok mlarkin@, deraadt@, miod@
sys/dev/pci/ppb.c