ARM-software/arm-trusted-firmware — pull request #60 by athoelke (2014-05-07 21:19:49+00:00)
Title: Replace disable_mmu with assembler version v2

v2 patch for #54. Based on top of the barrier review (#59) to make for easier integration.