Texas TPS659xx Device Driver
Texas Instruments USB 3.0 xHCI Host Controller Driver
Texas Instruments USB 3.0 Controller Driver
Texas Instruments xHCI Driver
Texas FlashMedia Controller Driver