mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-08-18 21:11:11 +02:00
Since GPC control register fields are permitted to be cached in a TLB, invalidate TLB after setting fields to ensure future checks are using the updated values. Signed-off-by: Kathleen Capella <kathleen.capella@arm.com> Change-Id: I95630b40b673363bbf74da2705deca03089fff3a