The text ed5c66a8cf67, as FreeBSD 14.3-RELEASE shipped it.
PCI bus interface
pci_iov_detach(9) on FreeBSD now