CONFIG_MMU_LAZY_TLB_SHOOTDOWN (not configurable)
configname: CONFIG_MMU_LAZY_TLB_SHOOTDOWN
Linux Kernel Configuration
└─>General architecture-dependent options
└─>MMU_LAZY_TLB_SHOOTDOWN