CONFIG_HAVE_C_RECORDMCOUNT (not configurable)
configname: CONFIG_HAVE_C_RECORDMCOUNT
Linux Kernel Configuration
└─>Kernel hacking
└─>HAVE_C_RECORDMCOUNT
In linux kernel since version 2.6.37 (release Date: 2011-01-04)
C version of recordmcount available?