PCI_DEVICE_ID_KORENIX_JETCARDF2 4864 drivers/tty/serial/8250/8250_pci.c { PCI_VENDOR_ID_KORENIX, PCI_DEVICE_ID_KORENIX_JETCARDF2, PCI_DEVICE_ID_KORENIX_JETCARDF2 4867 drivers/tty/serial/8250/8250_pci.c { PCI_VENDOR_ID_KORENIX, PCI_DEVICE_ID_KORENIX_JETCARDF2,