Symbol: PCI_DEVICE_ID_TI_TVP4020
drivers/video/fbdev/pm2fb.c
1545
case PCI_DEVICE_ID_TI_TVP4020:
drivers/video/fbdev/pm2fb.c
1751
{ PCI_VENDOR_ID_TI, PCI_DEVICE_ID_TI_TVP4020,