What USB3 chipsets are supported by the Jessie kernels?

[Rick Thomas]

Does anybody know which USB3 interface chipsets are supported by the current 
Debian Jessie kernel?

Can anyone recommend an inexpensive PCI or PCIe USB3 interface card that works 
with the current drivers?

Thanks!

Rick