[Tee-dev] [RESEND PATCH v2 14/14] tee: shm: inline tee_shm_get_id()