tree 25ea1d115147da95470962d9098063ed770a750d
parent 2d855cd0deef674f9d199b4c8bff296d1f7ef403
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1519048428 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1519221295 +0000

Ensure the correct execution of TLBI instructions

After executing a TLBI a DSB is needed to ensure completion of the
TLBI.

rk3328: The MMU is allowed to load TLB entries for as long as it is
enabled. Because of this, the correct place to execute a TLBI is right
after disabling the MMU.

Change-Id: I8280f248d10b49a8c354a4ccbdc8f8345ac4c170
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>