CONFIG_ARM64_WORKAROUND_REPEAT_TLBI (not configurable)
configname: CONFIG_ARM64_WORKAROUND_REPEAT_TLBI
Linux Kernel Configuration
└─>
Kernel Features
└─>
ARM errata workarounds via the alternatives framework
└─>
ARM64_WORKAROUND_REPEAT_TLBI
In linux kernel since version 4.2
(release Date: 2015-08-30)