pciaddr_resource_allocate
pci_device_foreach_min(pc, 0, maxbus, pciaddr_resource_allocate, NULL);
static void pciaddr_resource_allocate(pci_chipset_tag_t, pcitag_t, void *);