pdc20265_pci_intr  235 dev/pci/pciide.c int  pdc20265_pci_intr(void *);
pdc20265_pci_intr 6004 dev/pci/pciide.c 			    pdc20265_pci_intr);