Re: Calling OPTEE_SMC_CALL_GET_OS_UUID from driver code