CONFIG_MAY_USE_DEVLINK (not configurable)

configname: CONFIG_MAY_USE_DEVLINK

Linux Kernel Configuration
└─>Networking support
└─>MAY_USE_DEVLINK
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Drivers using the devlink infrastructure should have a dependency
on MAY_USE_DEVLINK to ensure they do not cause link errors when
devlink is a loadable module and the driver using it is built-in.

depends
CONFIG_NET

is selected by
CONFIG_MLX4_INFINIBAND