Re: Assertion ¡®state() & Thread_vcpu_user' in kernel vgic interrupt processing
Adam Lackorzynski <[email protected]> Tue, 30 Sep 2025 09:50:22 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
SGkgU3RlcGhlbiwNCg0Kb2ssIHRoYW5rcywgdGhhdCdzIHRyaWNreSBpbmRlZWQuDQoNCkluIGNh c2UgeW91IGFyZSBkb2luZyB0aGlzIHdpdGggUUVNVSwgY291bGQgeW91IHBsZWFzZSBtYWtlIHN1 cmUgeW91DQpoYXZlIHRoZSBmb2xsb3dpbmcgY2hhbmdlIGluIHlvdXIgUUVNVT86IGh0dHBzOi8v bGlzdHMuZ251Lm9yZy9hcmNoaXZlL2h0bWwvcWVtdS1kZXZlbC8yMDI0LTA5L21zZzAyMjA3Lmh0 bWwNCg0KT3IgZG8geW91IHNlZSB0aGlzIG9uIGhhcmR3YXJlPw0KDQoNClRoYW5rcywNCkFkYW0N Cg0KT24gVHVlIFNlcCAzMCwgMjAyNSBhdCAxMToxNDo1NyArMDgwMCwgeXkxODUxMzY3NjM2NiB3 cm90ZToNCj4gSGkgQWRhbSwNCj4gDQo+IA0KPiBUaGFuayB5b3UgdmVyeSBtdWNoIGZvciB5b3Vy IHJlcGx5IOKAlCBpdCByZWFsbHkgZ2F2ZSBtZSBzb21lIGhvcGUuDQo+IA0KPiANCj4gVGhpcyBp c3N1ZSBpcyBpbmRlZWQgZGlmZmljdWx0IHRvIHJlcHJvZHVjZSByZWxpYWJseSwgd2hpY2ggaGFz IGJlZW4gb25lIG9mIHRoZSBtYWluIGNoYWxsZW5nZXMgZHVyaW5nIG15IGRlYnVnZ2luZy4NCj4g U28gZmFyLCBJIGhhdmUgZm91bmQgdGhhdCBpbmNyZWFzaW5nIHRoZSB2dGltZXIgaW50ZXJydXB0 IGZyZXF1ZW5jeSwgd2hpbGUga2VlcGluZyB0aGUgdHJhZGl0aW9uYWwgaGFuZGxpbmcgbW9kZSAo aS5lLiwgd2l0aG91dCBkaXJlY3QgaW5qZWN0aW9uKSwNCj4gbWFrZXMgdGhlIHByb2JsZW0gc2ln bmlmaWNhbnRseSBlYXNpZXIgdG8gcmVwcm9kdWNlLiANCj4gDQo+IA0KPiBUaGUgcmVsZXZhbnQg Y2hhbmdlcyBhcmUgYXMgZm9sbG93cy4gDQo+IDHjgIFJbiB0aGlzIHNldHVwLCB0aGUgdnRpbWVy IGlzIGFkanVzdGVkIGZyb20gcm91Z2hseSBvbmUgdHJpZ2dlciBwZXIgbWlsbGlzZWNvbmQgdG8g YXBwcm94aW1hdGVseSBvbmUgdHJpZ2dlciBwZXIgbWljcm9zZWNvbmQsIA0KPiBhbmQgdGhlIHN5 c3RlbSByZW1haW5zIHN0YWJsZSBhbmQgZnVuY3Rpb25hbDoNCj4gDQo+IA0KPiBkaWZmIC0tZ2l0 IGEvc3JjL2tlcm4vYXJtL3RpbWVyLWFybS1nZW5lcmljLmNwcCBiL3NyYy9rZXJuL2FybS90aW1l ci1hcm0tZ2VuZXJpYy5jcHANCj4gaW5kZXggYTA0MGNmNDYuLmI0Y2JiY2ViIDEwMDY0NA0KPiAt LS0gYS9zcmMva2Vybi9hcm0vdGltZXItYXJtLWdlbmVyaWMuY3BwDQo+ICsrKyBiL3NyYy9rZXJu L2FybS90aW1lci1hcm0tZ2VuZXJpYy5jcHANCj4gQEAgLTY0LDcgKzY0LDggQEAgdm9pZCBUaW1l cjo6aW5pdChDcHVfbnVtYmVyIGNwdSkNCj4gICAgaWYgKGNwdSA9PSBDcHVfbnVtYmVyOjpib290 X2NwdSgpKQ0KPiAgICAgIHsNCj4gICAgICAgIF9mcmVxMCA9IGZyZXF1ZW5jeSgpOw0KPiAtICAg ICAgX2ludGVydmFsID0gVW5zaWduZWQ2NHtfZnJlcTB9ICogQ29uZmlnOjpTY2hlZHVsZXJfZ3Jh bnVsYXJpdHkgLyAxMDAwMDAwOw0KPiArICAgICAgLy9faW50ZXJ2YWwgPSBVbnNpZ25lZDY0e19m cmVxMH0gKiBDb25maWc6OlNjaGVkdWxlcl9ncmFudWxhcml0eSAvIDEwMDAwMDA7DQo+ICsgICAg ICBfaW50ZXJ2YWwgPSBVbnNpZ25lZDY0e19mcmVxMH0gKiBDb25maWc6OlNjaGVkdWxlcl9ncmFu dWxhcml0eSAvIDEwMDAwMDAwMDA7DQo+ICAgICAgICBwcmludGYoIkFSTSBnZW5lcmljIHRpbWVy OiBmcmVxPSVsZCBpbnRlcnZhbD0lbGQgY250PSVsbGRcbiIsDQo+ICAgICAgICAgICAgICAgX2Zy ZXEwLCBfaW50ZXJ2YWwsIEd0aW1lcjo6Y291bnRlcigpKTsNCj4gICAgICAgIGFzc2VydChfZnJl cTApOw0KPiANCj4gDQo+IDLjgIFJbiBhZGRpdGlvbiwgSSBzZWxlY3RlZCB0aGUgbW9kZSB3aGVy ZSBpbnRlcnJ1cHRzIGFyZSBub3QgZGlyZWN0bHkgaW5qZWN0ZWQ6DQo+IGRpZmYgLS1naXQgYS9z cmMvS2NvbmZpZyBiL3NyYy9LY29uZmlnDQo+IGluZGV4IDQzOTFjOTk2Li41NWRlZWIxYyAxMDA2 NDQNCj4gLS0tIGEvc3JjL0tjb25maWcNCj4gKysrIGIvc3JjL0tjb25maWcNCj4gQEAgLTM2Nyw3 ICszNjcsNyBAQCBjb25maWcgSU9NTVUNCj4gIGNvbmZpZyBJUlFfRElSRUNUX0lOSkVDVA0KPiAg ICAgICAgIGJvb2wgIlN1cHBvcnQgZGlyZWN0IGludGVycnVwdCBmb3J3YXJkaW5nIHRvIGd1ZXN0 cyINCj4gICAgICAgICBkZXBlbmRzIG9uIENQVV9WSVJUICYmIEhBU19JUlFfRElSRUNUX0lOSkVD VF9PUFRJT04NCj4gLSAgICAgICBkZWZhdWx0IHkNCj4gKyAgICAgIGRlZmF1bHQgbg0KPiAgICAg ICAgIGhlbHANCj4gICAgICAgICAgIEFkZHMgc3VwcG9ydCBpbiB0aGUga2VybmVsIHRvIGFsbG93 IHRoZSBWTU0gdG8gbGV0IEZpYXNjbyBkaXJlY3RseQ0KPiAgICAgICAgICAgZm9yd2FyZCBoYXJk d2FyZSBpbnRlcnJ1cHRzIHRvIGEgZ3Vlc3QuIFRoaXMgZW5hYmxlcyBqdXN0IHRoZQ0KPiANCj4g QXQgdGhlIG1vbWVudCwgdGhpcyBpcyB0aGUgb25seSB3YXkgSSBoYXZlIGZvdW5kIHRoYXQgY2Fu IG5vdGljZWFibHkgaW5jcmVhc2UgdGhlIHJlcHJvZHVjdGlvbiByYXRlLg0KPiBPbmNlIGFnYWlu LCB0aGFuayB5b3UgZm9yIHlvdXIgdmFsdWFibGUgdGltZSBhbmQgZmVlZGJhY2shDQo+IA0KPiBC ZXN0IHJlZ2FyZHMsDQo+IFN0ZXBoZW4ueWFuZw0KPiANCj4gDQo+IA0KPiANCj4gQXQgMjAyNS0w OS0yOSAwMDoxMTo0MSwgIkFkYW0gTGFja29yenluc2tpIiA8YWRhbUBsNHJlLm9yZz4gd3JvdGU6 DQo+ID5IaSwNCj4gPg0KPiA+T24gV2VkIFNlcCAxNywgMjAyNSBhdCAxMzo1Nzo0MyArMDgwMCwg eXkxODUxMzY3NjM2NiB3cm90ZToNCj4gPj4gV2hlbiBydW5uaW5nIGEgdmlydHVhbCBtYWNoaW5l LCBJIGVuY291bnRlciBhbiBhc3NlcnRpb24gZmFpbHVyZSBhZnRlciB0aGUgVk0NCj4gPj4gaGFz IGJlZW4gdXAgZm9yIHNvbWUgdGltZS4gVGhlIGtlcm5lbCBjcmFzaGVzIGluIHNyYy9rZXJuL2Fy bS8NCj4gPj4gdGhyZWFkLWFybS1oeXAuY3BwLCBzcGVjaWZpY2FsbHkgaW4gdGhlIGZ1bmN0aW9u IHZjcHVfdmdpY191cGNhbGwodW5zaWduZWQNCj4gPj4gdmlycSk6DQo+ID4+IA0KPiA+PiB2Y3B1 X3ZnaWNfdXBjYWxsKHVuc2lnbmVkIHZpcnEpDQo+ID4+IHsNCj4gPj4gICAgLi4uLi4uDQo+ID4+ ICAgIGFzc2VydChzdGF0ZSgpICYgVGhyZWFkX3ZjcHVfdXNlcik7DQo+ID4+ICAgIC4uLi4uLg0K PiA+PiB9DQo+ID4+IA0KPiA+PiBCYXNlZCBvbiBzb3VyY2UgY29kZSBpbnNwZWN0aW9uIGFuZCBw cmVsaW1pbmFyeSBkZWJ1Z2dpbmcsIHRoZSBwcm9ibGVtIHNlZW1zIHRvDQo+ID4+IGJlIHJlbGF0 ZWQgdG8gdGhlIG1hbmFnZW1lbnQgb2YgdGhlIFRocmVhZF92Y3B1X3VzZXIgc3RhdGUuDQo+ID4+ IA0KPiA+PiAgIDEgIFVuZGVyIG5vcm1hbCBjaXJjdW1zdGFuY2VzLCB0aGUgdmNwdV9yZXN1bWUg cGF0aCAodHJhbnNpdGlvbmluZyBmcm9tIHRoZQ0KPiA+PiBrZXJuZWwgYmFjayB0byB0aGUgZ3Vl c3QgT1MpIHVwZGF0ZXMgdGhlIHZDUFUgc3RhdGUgdG8gaW5jbHVkZQ0KPiA+PiBUaHJlYWRfdmNw dV91c2VyLiBIb3dldmVyLCBpZiBhbiBpbnRlcnJ1cHQgaXMgZGVsaXZlcmVkIGR1cmluZyB0aGlz IHRyYW5zaXRpb24NCj4gPj4gd2hpbGUgdGhlIHJlY2VpdmluZyBzaWRlIGlzIG5vdCB5ZXQgcmVh ZHksIHRoZSB2Q1BVIGZyZXF1ZW50bHkgcmV0dXJuIHRvIHRoZQ0KPiA+PiBrZXJuZWwgKHZpYSB2 Y3B1X3JldHVybl90b19rZXJuZWwpIGFuZCBzdWJzZXF1ZW50bHkgcHJvY2VzcyB0aGUgaW50ZXJy dXB0DQo+ID4+IHRocm91Z2ggZ3Vlc3RfaXJxIGluIHZjcHVfZW50cmllcy4gSW4gdGhpcyBzaXR1 YXRpb24sIHRoZSBleHBlY3RlZCB1cGRhdGUgb2YNCj4gPj4gVGhyZWFkX3ZjcHVfdXNlciBtYXkg bm90IHlldCBoYXZlIHRha2VuIHBsYWNlLCB3aGljaCBzZWVtcyByZXN1bHQgaW4gdGhlIGFzc2Vy dA0KPiA+PiBiZWluZyB0cmlnZ2VyZWQgd2hlbiBhIFZHSUMgaW50ZXJydXB0IGlzIGludm9sdmVk Lg0KPiA+PiANCj4gPj4gICAyICBBIHNpbWlsYXIgY29uZGl0aW9uIHNlZW1zIHRvIG9jY3VyIGlu IHRoZSB2Y3B1X2FzeW5jX2lwYyBwYXRoLiBBdCB0aGUgZW5kDQo+ID4+IG9mIElQQyBoYW5kbGlu ZywgdGhpcyBmdW5jdGlvbiBleHBsaWNpdGx5IGNsZWFycyB0aGUgVGhyZWFkX3ZjcHVfdXNlciBm bGFnLiBJZg0KPiA+PiBhIFZHSUMgaW50ZXJydXB0IGlzIGRlbGl2ZXJlZCBkdXJpbmcgdGhpcyBw aGFzZSwgdGhlIGFic2VuY2Ugb2YgdGhlIGV4cGVjdGVkDQo+ID4+IFRocmVhZF92Y3B1X3VzZXIg c3RhdGUgc2VlbXMgdG8gbGVhZCB0byB0aGUgc2FtZSBhc3NlcnRpb24gZmFpbHVyZS4NCj4gPj4g DQo+ID4+IEkgd291bGQgbGlrZSB0byBjb25maXJtIGlmIHRoZSB0d28gcG9pbnRzIGFib3ZlIGFy ZSBjb3JyZWN0LCBhbmQgd2hhdCBzdGVwcyBJDQo+ID4+IHNob3VsZCB0YWtlIG5leHQgdG8gZnVy dGhlciBkZWJ1ZyB0aGlzIGlzc3VlLg0KPiA+DQo+ID5UaGFua3MgZm9yIHJlcG9yZGluZy4gQXQg bGVhc3QgdGhlIGRlc2NyaXB0aW9uIHNvdW5kcyByZWFzb25hYmxlIHRvIG1lLg0KPiA+DQo+ID5E byB5b3UgaGF2ZSBhIGdvb2Qgd2F5IG9mIHJlbGlhYmx5IHJlcHJvZHVjaW5nIHRoaXMgc2l0dWF0 aW9uPw0KPiA+DQo+ID4+IEluIGFkZGl0aW9uLCBJIGhhdmUgc29tZSBhc3N1bXB0aW9ucyBJIHdv dWxkIGxpa2UgdG8gY29uZmlybToNCj4gPj4gDQo+ID4+IEZpcnN0LCBmb3IgSVBDIGJldHdlZW4g bm9uLXZjcHUgdGhyZWFkcywgdGhlIEw0IG1pY3Jva2VybmVsIGhhbmRsZXMgbWVzc2FnZQ0KPiA+ PiBkZWxpdmVyeSBhbmQgc2NoZWR1bGluZyAod2FrZS9zY2hlZHVsZSkgZGlyZWN0bHksIHdpdGhv dXQgcmVxdWlyaW5nIGFueQ0KPiA+PiBmb3J3YXJkaW5nIHRocm91Z2ggdXZtbS4gU2ltaWxhcmx5 LCBpbnRlcnJ1cHRzIGJvdW5kIHZpYSB0aGUgaW50ZXJydXB0DQo+ID4+IGNvbnRyb2xsZXIgKElD VSkgdG8gYSBub24tdmNwdSB0aHJlYWQgb3IgaGFuZGxlciBhcmUgYWxzbyBtYW5hZ2VkIGJ5IHRo ZSBrZXJuZWwNCj4gPj4gYW5kIHNjaGVkdWxlciwgYW5kIHRoZXJlZm9yZSBkbyBub3QgbmVjZXNz YXJpbHkgaW52b2x2ZSB1dm1tLg0KPiA+DQo+ID5JUENzIGJldHdlZW4gdGhyZWFkcyBhcmUgaGFu ZGxlZCBieSB0aGUgbWljcm9rZXJuZWwuIHZjcHUtdGhyZWFkIHZzLg0KPiA+bm9uLXZjcHUtdGhy ZWFkIGlzIGp1c3QgbWFraW5nIHRoZSBkaWZmZXJlbmNlIHJlZ2FyZGluZyBob3cgaXQgaXMNCj4g PmRlbGl2ZXJlZCB0byB0aGUgdGhyZWFkLiBGb3IgYSBub24tdmNwdSB0aHJlYWQgdGhlIHJlY2Vp dmVyIGhhcyB0byB3YWl0DQo+ID5pbiBJUEMgdG8gZ2V0IGl0LCBpbiB2Y3B1IG1vZGUgdGhlIElQ QyBpcyByZWNlaXZlZCBieSBjYXVzaW5nIGEgdmNwdQ0KPiA+ZXZlbnQgYW5kIGJyaW5naW5nIHRo ZSB2Y3B1IHRvIGl0cyBlbnRyeS4gVGhpcyBhbHNvIHdvcmtzIHdpdGhvdXQNCj4gPnZpcnR1YWxp emF0aW9uIChub3RlIHRoYXQgdmNwdXMgYWxzbyB3b3JrIHdpdGhvdXQgaHctdmlydHVhbGl6YXRp b24pLg0KPiA+Rm9yIGludGVycnVwdHMgaXQgaXMgdGhlIHNhbWUuIEZvciBub24tdmNwdSB0aHJl YWRzIHRoZXkgaGF2ZSB0byBibG9jaw0KPiA+aW4gSVBDIHRvIGdldCBhbiBpbnRlcnJ1cHQsIG9y IGZvciB2Y3B1IHRocmVhZHMsIHRoZXkgd2lsbCBiZSBicm91Z2h0IHRvDQo+ID50aGVpciBlbnRy eS4NCj4gPg0KPiA+PiBTZWNvbmQsIHBhc3N0aHJvdWdoIGludGVycnVwdHMsIHdoZW4gbm90IGRl bGl2ZXJlZCBpbiBkaXJlY3QtaW5qZWN0aW9uIG1vZGUsDQo+ID4+IGFyZSByb3V0ZWQgdG8gdXZt bSBmb3IgaGFuZGxpbmcgaWYgdGhleSBhcmUgYm91bmQgdG8gYSB2Q1BVLiBMaWtld2lzZSwgc2Vy dmljZXMNCj4gPj4gcHJvdmlkZWQgYnkgdXZtbSAoc3VjaCBhcyB2aXJxKSBhcmUgYWxzbyBib3Vu ZCB0byBhIHZDUFUgYW5kIHRoZXJlZm9yZSByZXF1aXJlDQo+ID4+IGZvcndhcmRpbmcgdGhyb3Vn aCB1dm1tLg0KPiA+DQo+ID5ZZXMuIERpcmVjdCBpbmplY3Rpb24gd2lsbCBvbmx5IGhhcHBlbiB3 aGVuIHRoZSB2Y3B1IGlzIHJ1bm5pbmcuDQo+ID4NCj4gPj4gVGhlcmUgc2VlbXMgdG8gaGF2ZSBi ZWVuIGEgc2ltaWxhciBxdWVzdGlvbiBpbiB0aGUgcGFzdCwgYnV0IGl0IGRvZXMgbm90IHNlZW0N Cj4gPj4gdG8gaGF2ZSBiZWVuIHJlc29sdmVkLg0KPiA+PiANCj4gPj4gUmU6IEFzc2VydGlvbiBm YWlsdXJlIGVycm9yIGluIGtlcm5lbCB2Z2ljIGludGVycnVwdCBwcm9jZXNzaW5nIC0gbDQtaGFj a2VycyAtDQo+ID4+IE9TIFNpdGUNCj4gPj4gDQo+ID4+IEkgd29uZGVyIGlmIG15IHF1ZXN0aW9u cyBhcmUgcmVsYXRlZCB0byB0aGF0IHBvc3QsIGFuZCBpZiBhbnkgc29sdXRpb25zIGV4aXN0Lg0K PiA+DQo+ID5UaGFua3MsIHdlIG5lZWQgdG8gd29yayBvbiBpdC4gUmVwcm9kdWNpbmcgdGhpcyBz aXR1YXRpb24gb24gb3VyIHNpZGUNCj4gPndvdWxkIGJlIHZlcnkgdmFsdWFibGUuDQo+ID4NCj4g Pg0KPiA+VGhhbmtzLCBBZGFtDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fXwpsNC1oYWNrZXJzIG1haWxpbmcgbGlzdCAtLSBsNC1oYWNrZXJzQG9zLmluZi50 dS1kcmVzZGVuLmRlClRvIHVuc3Vic2NyaWJlIHNlbmQgYW4gZW1haWwgdG8gbDQtaGFja2Vycy1s ZWF2ZUBvcy5pbmYudHUtZHJlc2Rlbi5kZQo=