OP-TEE/optee_os — pull request #96 by jenswi-linaro (2014-10-31 06:25:18+00:00)
Title: Rename teesmc_st.h to teesmc_optee.h

Signed-off-by: Jens Wiklander
Tested-by: Jens Wiklander (QEMU virt platform)