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);