Re: [PATCH] driver: tee: Handle NULL pointer indication from client