tree 378833fa34bed975066532e5b01cd85390cdc144
parent 42e75a72c4940e1ca2446131c8c84745eacbc477
author Andrew Thoelke <andrew.thoelke@arm.com> 1398683178 +0100
committer Andrew Thoelke <andrew.thoelke@arm.com> 1399458230 +0100

Replace disable_mmu with assembler version

disable_mmu() cannot work as a C function as there is no control
over data accesses generated by the compiler between disabling and
cleaning the data cache. This results in reading stale data from
main memory.

As assembler version is provided for EL3, and a variant that also
disables the instruction cache which is now used by the BL1
exception handling function.

Fixes ARM-software/tf-issues#147

Change-Id: I0cf394d2579a125a23c2f2989c2e92ace6ddb1a6