Detach a vdev from the specified host PCI device
#include <qvm/hpci.h>
void hpci_device_detach(void *hdl)
Call this function when your vdev no longer needs access to a host PCI device.