ARM-software/arm-trusted-firmware — pull request #59 by athoelke (2014-05-07 21:13:03+00:00)
Title: Correct usage of data and instruction barriers v2

Rebased version of #52 on top of Dan's re-org