Re: [Tee-dev] [PATCH] tee: optee: Fix dynamic shm pool allocations