alpha_pci_generic_iointr
void alpha_pci_generic_iointr(void *, unsigned long);
alpha_pci_generic_iointr, pc);