Re: [Tee-dev] [PATCH v3 08/11] optee: add support for arbitrary shared memory