serverworks_pci_intr  261 dev/pci/pciide.c int  serverworks_pci_intr(void *);
serverworks_pci_intr 7132 dev/pci/pciide.c 		    serverworks_pci_intr);