Re: [PATCH v3 11/12] tee: replace tee_shm_register()