pciaddr_resource_reserve
pci_device_foreach(pc, maxbus, pciaddr_resource_reserve, NULL);
static void pciaddr_resource_reserve(pci_chipset_tag_t, pcitag_t, void *);