Symbol: serverworks_pci_intr
sys/dev/pci/rccide.c
172
serverworks_pci_intr);
sys/dev/pci/rccide.c
43
static int serverworks_pci_intr(void *);