ibm4xx_pci_machdep_init
ibm4xx_pci_machdep_init();
ibm4xx_pci_machdep_init(); /* Redundant... */
void ibm4xx_pci_machdep_init(void);