pci_register_isa_resources
pci_register_isa_resources(type, used_p->base, used_p->len);
extern void pci_register_isa_resources(int, uint32_t, uint32_t);