Symbol: serverworks_pci_intr
sys/dev/pci/pciide.c
251
int serverworks_pci_intr(void *);
sys/dev/pci/pciide.c
7367
serverworks_pci_intr);