Re: [Tee-dev] [PATCH v3 07/11] optee: add support for RPC SHM buffers