ARM-software/arm-trusted-firmware — pull request #208 by jenswi-linaro (2014-09-08 11:56:50+00:00)
Title: Optee 140908

Fixed review comments from PR https://github.com/ARM-software/arm-trusted-firmware/pull/188