[Linaro-mm-sig] Re: [PATCH v4 1/6] tee: add restricted memory allocation