CONFIG_MMU_GATHER_RCU_TABLE_FREE (not configurable)

configname: CONFIG_MMU_GATHER_RCU_TABLE_FREE

Linux Kernel Configuration
└─>General architecture-dependent options
└─>MMU_GATHER_RCU_TABLE_FREE
In linux kernel since version 4.14.326 (release Date: 2023-09-23)