Symbol: BHND_PCIE_SD_TX_DRIVER
sys/dev/bhnd/cores/pci/bhnd_pci_hostb.c
584
BHND_PCIE_SD_REGS_TX0, BHND_PCIE_SD_TX_DRIVER);
sys/dev/bhnd/cores/pci/bhnd_pci_hostb.c
605
BHND_PCIE_SD_REGS_TX0, BHND_PCIE_SD_TX_DRIVER, txdrv);