OP-TEE/optee_os — pull request #40 by jbech-linaro (2014-09-05 12:56:09+00:00)
Title: MMU: Simplify tee_mmu_switch function

Replaced direct CP15 instructions with macros instead and removed some
unnecessary code.