Symbol: sdhci_pci_intr
sys/dev/disk/sdhci/sdhci_pci.c
241
static void sdhci_pci_intr(void *arg);
sys/dev/disk/sdhci/sdhci_pci.c
406
sdhci_pci_intr, sc, &sc->intrhand, NULL);