pnp_release_card_device(9) on Linux

The text 3bd443fade40, as Debian 5.0 (Lenny) shipped it.

call this when the driver no longer needs the device

pnp_release_card_device(9) on Linux now