From mboxrd@z Thu Jan  1 00:00:00 1970
From: Sergej Proskurin <proskurin@sec.in.tum.de>
Subject: Re: [PATCH v3 24/38] arm/p2m: Make p2m_mem_access_check
 ready for altp2m
Date: Tue, 13 Sep 2016 16:00:48 +0200
Message-ID: <e375c99e-ea8b-5ec8-192a-ae0e5bd14a27@sec.in.tum.de>
References: <20160816221714.22041-1-proskurin@sec.in.tum.de>
 <20160816221714.22041-25-proskurin@sec.in.tum.de>
 <cbbb8582-af91-31a1-acb1-ee458dde2bc4@arm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta5.messagelabs.com ([195.245.231.135])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <proskurin@sec.in.tum.de>) id 1bjoGY-00072t-U4
 for xen-devel@lists.xenproject.org; Tue, 13 Sep 2016 14:00:51 +0000
In-Reply-To: <cbbb8582-af91-31a1-acb1-ee458dde2bc4@arm.com>
List-Unsubscribe: <https://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: Julien Grall <julien.grall@arm.com>, xen-devel@lists.xenproject.org
Cc: Stefano Stabellini <sstabellini@kernel.org>
List-Id: xen-devel@lists.xenproject.org

SGkgSnVsaWVuLAoKCk9uIDA5LzEyLzIwMTYgMTE6MDIgQU0sIEp1bGllbiBHcmFsbCB3cm90ZToK
PiBIZWxsbyBTZXJnZWosCj4KPiBPbiAxNi8wOC8yMDE2IDIzOjE3LCBTZXJnZWogUHJvc2t1cmlu
IHdyb3RlOgo+PiBUaGlzIGNvbW1pdCBleHRlbmRzIHRoZSBmdW5jdGlvbiAicDJtX21lbV9hY2Nl
c3NfY2hlY2siIGFuZAo+PiAicDJtX21lbV9hY2Nlc3NfY2hlY2tfYW5kX2dldF9wYWdlIiB0byBj
b25zaWRlciBhbHRwMm0uIFRoZSBmdW5jdGlvbgo+PiAicDJtX21lbV9hY2Nlc3NfY2hlY2tfYW5k
X2dldF9wYWdlIiBuZWVkcyB0byB0cmFuc2xhdGUgdGhlIGd2YSB1cG9uIHRoZQo+PiBob3N0cDJt
J3MgdnR0YnIsIGFzIGl0IGNvbnRhaW5zIGFsbCB2YWxpZCBtYXBwaW5ncyB3aGlsZSB0aGUgY3Vy
cmVudGx5Cj4+IGFjdGl2ZSBhbHRwMm0gdmlldyBtaWdodCBub3QgaGF2ZSB0aGUgcmVxdWlyZWQg
Z3ZhIG1hcHBpbmcgeWV0Lgo+Pgo+PiBBbHNvLCB0aGUgbmV3IGltcGxlbWVudGF0aW9uIGZpbGxz
IHRoZSByZXF1ZXN0IGJ1ZmZlciB0byBob2xkCj4+IGFsdHAybS1yZWxhdGVkIGluZm9ybWF0aW9u
Lgo+Pgo+PiBTaWduZWQtb2ZmLWJ5OiBTZXJnZWogUHJvc2t1cmluIDxwcm9za3VyaW5Ac2VjLmlu
LnR1bS5kZT4KPj4gLS0tCj4+IENjOiBTdGVmYW5vIFN0YWJlbGxpbmkgPHNzdGFiZWxsaW5pQGtl
cm5lbC5vcmc+Cj4+IENjOiBKdWxpZW4gR3JhbGwgPGp1bGllbi5ncmFsbEBhcm0uY29tPgo+PiAt
LS0KPj4gdjM6IEV4dGVuZGVkIHRoZSBmdW5jdGlvbiAicDJtX21lbV9hY2Nlc3NfY2hlY2tfYW5k
X2dldF9wYWdlIiB0bwo+PiAgICAgY29uc2lkZXIgYWx0cDJtLiBTaW1pbGFyIHRvICJnZXRfcGFn
ZV9mcm9tX2d2YSIsIHRoZSBmdW5jdGlvbgo+PiAgICAgInAybV9tZW1fYWNjZXNzX2NoZWNrX2Fu
ZF9nZXRfcGFnZSIgbmVlZHMgdG8gdHJhbnNsYXRlIHRoZSBndmEgdXBvbgo+PiAgICAgdGhlIGhv
c3RwMm0ncyB2dHRici4gQWx0aG91Z2gsIHRoZSBmdW5jdGlvbiAiZ3ZhX3RvX2lwYSIgKGNhbGxl
ZCBpbgo+PiAgICAgInAybV9tZW1fYWNjZXNzX2NoZWNrX2FuZF9nZXRfcGFnZSIpIHBlcmZvcm1z
IGEgc3RhZ2UgMSB0YWJsZSB3YWxrLAo+PiAgICAgaXQgd2lsbCBhY2Nlc3MgcGFnZSB0YWJsZXMg
cmVzaWRpbmcgaW4gbWVtb3J5LiBBY2Nlc3NlcyB0byB0aGlzCj4+ICAgICBtZW1vcnkgYXJlIGNv
bnRyb2xsZWQgYnkgdGhlIHVuZGVybHlpbmcgMm5kIHN0YWdlIHRyYW5zbGF0aW9uIHRhYmxlCj4+
ICAgICBhbmQgaGVuY2UgcmVxdWlyZSB0aGUgb3JpZ2luYWwgbWFwcGluZ3Mgb2YgdGhlIGhvc3Rw
Mm0uCj4+IC0tLQo+PiAgeGVuL2FyY2gvYXJtL3AybS5jIHwgNDMgKysrKysrKysrKysrKysrKysr
KysrKysrKysrKysrKysrKysrKysrLS0tLQo+PiAgMSBmaWxlIGNoYW5nZWQsIDM5IGluc2VydGlv
bnMoKyksIDQgZGVsZXRpb25zKC0pCj4+Cj4+IGRpZmYgLS1naXQgYS94ZW4vYXJjaC9hcm0vcDJt
LmMgYi94ZW4vYXJjaC9hcm0vcDJtLmMKPj4gaW5kZXggNTgxOWFlMC4uZWQ5ZTBmMCAxMDA2NDQK
Pj4gLS0tIGEveGVuL2FyY2gvYXJtL3AybS5jCj4+ICsrKyBiL3hlbi9hcmNoL2FybS9wMm0uYwo+
PiBAQCAtMTQsNiArMTQsNyBAQAo+PiAgI2luY2x1ZGUgPGFzbS9oYXJkaXJxLmg+Cj4+ICAjaW5j
bHVkZSA8YXNtL3BhZ2UuaD4KPj4KPj4gKyNpbmNsdWRlIDxhc20vdm1fZXZlbnQuaD4KPj4gICNp
bmNsdWRlIDxhc20vYWx0cDJtLmg+Cj4+Cj4+ICAjaWZkZWYgQ09ORklHX0FSTV82NAo+PiBAQCAt
MTQ3OSw5ICsxNDgwLDMyIEBAIHAybV9tZW1fYWNjZXNzX2NoZWNrX2FuZF9nZXRfcGFnZShzdHJ1
Y3QgdmNwdQo+PiAqdiwgdmFkZHJfdCBndmEsIHVuc2lnbmVkIGxvbmcgZmxhCj4+ICAgICAgeGVu
bWVtX2FjY2Vzc190IHhtYTsKPj4gICAgICBwMm1fdHlwZV90IHQ7Cj4+ICAgICAgc3RydWN0IHBh
Z2VfaW5mbyAqcGFnZSA9IE5VTEw7Cj4+IC0gICAgc3RydWN0IHAybV9kb21haW4gKnAybSA9IHAy
bV9nZXRfaG9zdHAybSh2LT5kb21haW4pOwo+PiArICAgIHN0cnVjdCBkb21haW4gKmQgPSB2LT5k
b21haW47Cj4+ICsgICAgc3RydWN0IHAybV9kb21haW4gKnAybSA9IHAybV9nZXRfaG9zdHAybShk
KTsKPj4gKwo+PiArICAgIC8qCj4+ICsgICAgICogSWYgYWx0cDJtIGlzIGFjdGl2ZSwgd2UgbmVl
ZCB0byB0cmFuc2xhdGUgdGhlIGd2YSB1cG9uIHRoZQo+PiBob3N0cDJtJ3MKPj4gKyAgICAgKiB2
dHRiciwgYXMgaXQgY29udGFpbnMgYWxsIHZhbGlkIG1hcHBpbmdzIHdoaWxlIHRoZSBjdXJyZW50
bHkKPj4gYWN0aXZlCj4+ICsgICAgICogYWx0cDJtIHZpZXcgbWlnaHQgbm90IGhhdmUgdGhlIHJl
cXVpcmVkIGd2YSBtYXBwaW5nIHlldC4KPj4gQWx0aG91Z2gsIHRoZQo+PiArICAgICAqIGZ1bmN0
aW9uIGd2YV90b19pcGEgcGVyZm9ybXMgYSBzdGFnZSAxIHRhYmxlIHdhbGssIGl0IHdpbGwKPj4g
YWNjZXNzIHBhZ2UKPj4gKyAgICAgKiB0YWJsZXMgcmVzaWRpbmcgaW4gbWVtb3J5LiBBY2Nlc3Nl
cyB0byB0aGlzIG1lbW9yeSBhcmUKPj4gY29udHJvbGxlZCBieSB0aGUKPj4gKyAgICAgKiB1bmRl
cmx5aW5nIDJuZCBzdGFnZSB0cmFuc2xhdGlvbiB0YWJsZSBhbmQgaGVuY2UgcmVxdWlyZSB0aGUK
Pj4gb3JpZ2luYWwKPj4gKyAgICAgKiBtYXBwaW5ncyBvZiB0aGUgaG9zdHAybS4KPgo+IEFzIEkg
YWxyZWFkeSBtZW50aW9uZWQgYSBmZXcgdGltZXMgbm93LCB0aGlzIGZ1bmN0aW9uIGlzIGJyb2tl
biBhbmQKPiBuZWVkcyB0byBiZSBmaXhlZCBiZWZvcmUgYW55bW9yZSBjaGFuZ2UgaW4gaXQuCj4K
PiBUaGUgdW5kZXJseWluZyBtZW1vcnkgb2Ygc3RhZ2UtMSBwYWdlIHRhYmxlIG1heSBoYXZlIGJl
ZW4gcmVzdHJpY3RlZAo+IGFuZCB0aGVyZWZvcmUgaGFyZHdhcmUgcGFnZSB0YWJsZSB3YWxrIChn
dmFfdG9faXBhKSBtYXkgZmFpbC4KPgoKQmFzZWQgb24gb3VyIHByZXZpb3VzIGRpc2N1c3Npb24g
SSBiZWxpZXZlZCB0aGF0IGl0IHdvdWxkIGJlIGVub3VnaCB0bwp0ZW1wb3JhcnkgY2hhbmdlIHRo
ZSBWVFRCUiB0byB0aGUgb25lIG9mIHRoZSBob3N0J3MgcDJtIGFzIGl0IGlzIGRvbmUgaW4KdGhl
IGltcGxlbWVudGF0aW9uIGJlbG93LiBZb3VyIGFyZ3VtZW50IHdhcyB0aGF0ICh3aXRob3V0IGNo
YW5naW5nIHRoZQpWVFRCUikgaXQgbWlnaHQgY29tZSB0byBhbiBpc3N1ZSBkdXJpbmcgdGhlIHBy
b2Nlc3MgYWRkcmVzcyB0cmFuc2xhdGlvbgphcyBhY2Nlc3NlcyB0byB0aGUgbWVtb3J5IHZpZXcg
aW4gdGhlIGFsdHAybSB0YWJsZXMgbWlnaHQgYmUgcmVzdHJpY3RlZC4KCldvdWxkIGl0IG5vdCBi
ZSBzdWZmaWNpZW50IHRvIHRlbXBvcmFyeSBzd2l0Y2ggdG8gdGhlIFZUVEJSIG9mIHRoZQpob3N0
J3MgcDJtIChzaW1pbGFybHkgYXMgSSBkaWQgaW4gdGhlIHRoZSBmb2xsb3dpbmcgaW1wbGVtZW50
YXRpb24pPyBJbgp0aGlzIHdheSwgYXMgZmFyIGFzIEkgdW5kZXJzdGFuZCwgY2hhbmdlcyBpbiB0
aGUgYWN0aXZlIGFsdHAybSB2aWV3CnNob3VsZCBub3QgYWZmZWN0IHRoZSBwcm9jZXNzIG9mIGFk
ZHJlc3MgdHJhbnNsYXRpb24uCgo+PiArICAgICAqLwo+PiArICAgIGlmICggdW5saWtlbHkoYWx0
cDJtX2FjdGl2ZShkKSkgKQo+PiArICAgIHsKPj4gKyAgICAgICAgdW5zaWduZWQgbG9uZyBmbGFn
cyA9IDA7Cj4+ICsgICAgICAgIHVpbnQ2NF90IG92dHRiciA9IFJFQURfU1lTUkVHNjQoVlRUQlJf
RUwyKTsKPj4gKwo+PiArICAgICAgICBwMm1fc3dpdGNoX3Z0dGJyX2FuZF9nZXRfZmxhZ3Mob3Z0
dGJyLCBwMm0tPnZ0dGJyLCBmbGFncyk7Cj4+ICsKPj4gKyAgICAgICAgcmMgPSBndmFfdG9faXBh
KGd2YSwgJmlwYSwgZmxhZyk7Cj4+ICsKPj4gKyAgICAgICAgcDJtX3Jlc3RvcmVfdnR0YnJfYW5k
X3NldF9mbGFncyhvdnR0YnIsIGZsYWdzKTsKPj4gKyAgICB9Cj4+ICsgICAgZWxzZQo+PiArICAg
ICAgICByYyA9IGd2YV90b19pcGEoZ3ZhLCAmaXBhLCBmbGFnKTsKPj4KPj4gLSAgICByYyA9IGd2
YV90b19pcGEoZ3ZhLCAmaXBhLCBmbGFnKTsKPj4gICAgICBpZiAoIHJjIDwgMCApCj4+ICAgICAg
ICAgIGdvdG8gZXJyOwo+Pgo+PiBAQCAtMTY5OCwxMyArMTcyMiwxNiBAQCBib29sX3QgcDJtX21l
bV9hY2Nlc3NfY2hlY2socGFkZHJfdCBncGEsCj4+IHZhZGRyX3QgZ2xhLCBjb25zdCBzdHJ1Y3Qg
bnBmZWMgbnBmZWMpCj4+ICAgICAgeGVubWVtX2FjY2Vzc190IHhtYTsKPj4gICAgICB2bV9ldmVu
dF9yZXF1ZXN0X3QgKnJlcTsKPj4gICAgICBzdHJ1Y3QgdmNwdSAqdiA9IGN1cnJlbnQ7Cj4+IC0g
ICAgc3RydWN0IHAybV9kb21haW4gKnAybSA9IHAybV9nZXRfaG9zdHAybSh2LT5kb21haW4pOwo+
PiArICAgIHN0cnVjdCBkb21haW4gKmQgPSB2LT5kb21haW47Cj4+ICsgICAgc3RydWN0IHAybV9k
b21haW4gKnAybSA9IHAybV9nZXRfYWN0aXZlX3AybSh2KTsKPj4KPj4gICAgICAvKiBNZW1fYWNj
ZXNzIGlzIG5vdCBpbiB1c2UuICovCj4+ICAgICAgaWYgKCAhcDJtLT5tZW1fYWNjZXNzX2VuYWJs
ZWQgKQo+PiAgICAgICAgICByZXR1cm4gdHJ1ZTsKPj4KPj4gLSAgICByYyA9IHAybV9nZXRfbWVt
X2FjY2Vzcyh2LT5kb21haW4sIF9nZm4ocGFkZHJfdG9fcGZuKGdwYSkpLCAmeG1hKTsKPj4gKyAg
ICBwMm1fcmVhZF9sb2NrKHAybSk7Cj4+ICsgICAgcmMgPSBfX3AybV9nZXRfbWVtX2FjY2Vzcyhw
Mm0sIF9nZm4ocGFkZHJfdG9fcGZuKGdwYSkpLCAmeG1hKTsKPj4gKyAgICBwMm1fcmVhZF91bmxv
Y2socDJtKTsKPj4gICAgICBpZiAoIHJjICkKPj4gICAgICAgICAgcmV0dXJuIHRydWU7Cj4+Cj4+
IEBAIC0xODEwLDYgKzE4MzcsMTQgQEAgYm9vbF90IHAybV9tZW1fYWNjZXNzX2NoZWNrKHBhZGRy
X3QgZ3BhLAo+PiB2YWRkcl90IGdsYSwgY29uc3Qgc3RydWN0IG5wZmVjIG5wZmVjKQo+PiAgICAg
ICAgICByZXEtPnUubWVtX2FjY2Vzcy5mbGFncyB8PSBucGZlYy5pbnNuX2ZldGNoICAgICA/Cj4+
IE1FTV9BQ0NFU1NfWCA6IDA7Cj4+ICAgICAgICAgIHJlcS0+dmNwdV9pZCA9IHYtPnZjcHVfaWQ7
Cj4+Cj4+ICsgICAgICAgIHZtX2V2ZW50X2ZpbGxfcmVncyhyZXEpOwo+Cj4gSSBkb24ndCB0aGlu
ayB0aGlzIGNoYW5nZSBiZWxvbmdzIHRvIHRoaXMgcGF0Y2guCj4KClRoYW5rcy4KCj4+ICsKPj4g
KyAgICAgICAgaWYgKCB1bmxpa2VseShhbHRwMm1fYWN0aXZlKGQpKSApCj4+ICsgICAgICAgIHsK
Pj4gKyAgICAgICAgICAgIHJlcS0+ZmxhZ3MgfD0gVk1fRVZFTlRfRkxBR19BTFRFUk5BVEVfUDJN
Owo+PiArICAgICAgICAgICAgcmVxLT5hbHRwMm1faWR4ID0gYWx0cDJtX3ZjcHUodikucDJtaWR4
Owo+PiArICAgICAgICB9Cj4+ICsKPj4gICAgICAgICAgbWVtX2FjY2Vzc19zZW5kX3JlcSh2LT5k
b21haW4sIHJlcSk7Cj4+ICAgICAgICAgIHhmcmVlKHJlcSk7Cj4+ICAgICAgfQo+PgoKQ2hlZXJz
LAp+U2VyZ2VqCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwczov
L2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==