CONFIG_GENERIC_LSHRDI3 (not configurable)

modulename: lshrdi3.ko

configname: CONFIG_GENERIC_LSHRDI3

Linux Kernel Configuration
└─>GENERIC_LSHRDI3
In linux kernel since version 4.9.8 (release Date: 2017-02-04)  
source code:
lib/lshrdi3.c