kernelconfig_penguin

CONFIG_HAVE_C_RECORDMCOUNT (not configurable)

configname: CONFIG_HAVE_C_RECORDMCOUNT

Linux Kernel Configuration
└─> Kernel hacking
└─> HAVE_C_RECORDMCOUNT

C version of recordmcount available?