CONFIG_GENERIC_LIB_UCMPDI2 (not configurable)

modulename: ucmpdi2.ko

configname: CONFIG_GENERIC_LIB_UCMPDI2

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