rbus_pci_phys_allocate
rbus_pci_phys_allocate, &rct);
static void rbus_pci_phys_allocate(pci_chipset_tag_t, pcitag_t, void *);