CONFIG_MMU_LAZY_TLB_SHOOTDOWN (not configurable)

configname: CONFIG_MMU_LAZY_TLB_SHOOTDOWN

Linux Kernel Configuration
└─>General architecture-dependent options
└─>MMU_LAZY_TLB_SHOOTDOWN
In linux kernel since version 6.4 (release Date: 2023-06-25)