OCXL_EXT_CAP_ID_DVSEC   81 arch/powerpc/platforms/powernv/ocxl.c 						    OCXL_EXT_CAP_ID_DVSEC))) {
OCXL_EXT_CAP_ID_DVSEC   40 drivers/misc/ocxl/config.c 						    OCXL_EXT_CAP_ID_DVSEC))) {
OCXL_EXT_CAP_ID_DVSEC   57 drivers/misc/ocxl/config.c 						    OCXL_EXT_CAP_ID_DVSEC))) {