CONFIG_OCXL_BASE (not configurable)
modulename: ocxl.ko
configname: CONFIG_OCXL_BASE
Linux Kernel Configuration
└─>Device Drivers
└─>Misc devices
└─>OCXL_BASE
