Symbol: puc_pci_xr17v35x_intr
sys/dev/pci/puc.c
139
puc_pci_xr17v35x_intr, sc, name);
sys/dev/pci/puc.c
84
int puc_pci_xr17v35x_intr(void *arg);