Detach a device
#include <pci/pci.h> pci_err_t pci_device_detach( pci_devhdl_t hdl );
When the device is no longer in use, or the attaching software will no longer manage the device, you should call pci_device_detach() to return all resources to the system. If any capabilities have been enabled, you should first disable them and free the pci_cap_t that pci_device_read_cap() returned.
Safety: | |
---|---|
Cancellation point | No |
Interrupt handler | No |
Signal handler | No |
Thread | Yes |