
The new tlbi= option has been submitted in time for Linux 7.2 stable and also marked for back-porting to stable Linux kernel versions. This option controls the TLB invalidation method and tlbi=ipi is the only option currently honored. Booting the kernel with tlbi=ipi will switch



