Re: [PATCH] tee: optee: Pass a pointer to virt_addr_valid()