OP-TEE/optee_os — pull request #16 by jenswi-linaro (2014-08-13 10:44:45+00:00)
Title: fvp: fix compiler warning

Fixes compiler warning when compiling with default
CFG_TEE_CORE_LOG_LEVEL.