Re: [PATCH v2 02/12] tee: remove unused tee_shm_pool_alloc_res_mem()