Sam Lewis has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/43137 )
Change subject: armv7: mmu: Use 'tlbimva' to invalidate TLB entries ......................................................................
Patch Set 1:
I'm new to coreboot and using Gerrit so please don't hesitate to let me know if there's anything I should change about this patch!
I don't have any armv7 hardware that coreboot already works on (and the QEMU port doesn't seem like it currently works?), so would appreciate help in testing this. That said - if I understand the ARM architecture reference manual, it should be a safe change to make because (as stated in the commit) the tlbimva/tlbimvaa operations are equivalent when used on global TLB pages.