Miscellany

void pci_intx(struct pci_dev *dev, int enable);
int pci_set_dma_mask(struct pci_dev *dev, u64 mask);

/* here is 460 */
int pci_set_consistent_dma_mask(struct pci_dev *dev, u64 mask);

void pci_update_resource(struct pci_dev *dev, struct resource *res, int resno);
int pci_assign_resource(struct pci_dev *dev, int i);