On Sat 22 Apr 2017 at 15:35:33 +0200, Pascal Hambourg wrote:
0b:00.1 SD Host controller: Ricoh Co Ltd R5C822 SD/SDIO/MMC/MS/MSPro Host
Adapter (rev 13)
Kernel driver in use: sdhci-pci
(taken on my own ThinkPad, but what the heck, it does not have any SD card
slot !)
Any better?
brian@laptop:~$ lspci | grep Texas
00:10.0 CardBus bridge: Texas Instruments PCIxx21/x515 Cardbus Controller
00:10.2 FireWire (IEEE 1394): Texas Instruments OHCI Compliant IEEE 1394 Host Controller
00:10.3 Mass storage controller: Texas Instruments PCIxx21 Integrated FlashMedia Controller
00:10.4 SD Host controller: Texas Instruments PCI6411/6421/6611/6621/7411/7421/7611/7621 Secure Digital Controller