tree c45834b87927083b3c163d6cfe0967fa6cc07b81
parent 5c8a485cac2284af4d50f461c1b6d1284fd94e1d
author Imre Kis <imre.kis@arm.com> 1741351110 +0100
committer Imre Kis <imre.kis@arm.com> 1741855775 +0100

Fix TLB invalidation

Add synchronization barriers and use the fix TLBI calls when
invalidating single VA entries. TLBI instructions expect the virtual
address shifted right by 12 bits which was missing from the
implementation.

Signed-off-by: Imre Kis <imre.kis@arm.com>
Change-Id: I413f986fffbdecb875a8ddc3356bae61b73e51d8