tlx 162 drivers/misc/ocxl/config.c u32 cfg, tlx, dlx; tlx 179 drivers/misc/ocxl/config.c pci_read_config_dword(dev, pos + OCXL_DVSEC_VENDOR_TLX_VERS, &tlx); tlx 184 drivers/misc/ocxl/config.c dev_dbg(&dev->dev, " TLX version = 0x%x\n", tlx);