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