CONFIG_GENERIC_LIB_LSHRDI3 (not configurable)

modulename: lshrdi3.ko

configname: CONFIG_GENERIC_LIB_LSHRDI3

Linux Kernel Configuration
└─>GENERIC_LIB_LSHRDI3
In linux kernel since version 4.2 (release Date: 2015-08-30)  
source code:
lib/lshrdi3.c
is depended by
CONFIG_ARCH_RV32I