Re: [PATCH] optee: Check return value of tee_shm_get_va()