PCI: helpers for BSD