CONFIG_HAVE_ARCH_TLB_REMOVE_TABLE (not configurable)
configname: CONFIG_HAVE_ARCH_TLB_REMOVE_TABLE
Linux Kernel Configuration
└─>Memory Management options
└─>HAVE_ARCH_TLB_REMOVE_TABLE