From mboxrd@z Thu Jan  1 00:00:00 1970
Content-Type: multipart/mixed; boundary="===============6452447607386479275=="
MIME-Version: 1.0
From: Patrick Georgi <pgeorgi at google.com>
Subject: Re: [Devel] Field Offset constraints
Date: Wed, 03 Apr 2019 20:07:32 +0200
Message-ID: <CAE-gjdXB9sWnBvdwuWNp+y-m3AFoDznvTy9sPbyO_qsTVyYs0Q@mail.gmail.com>
In-Reply-To: 94F2FBAB4432B54E8AACC7DFDE6C92E3B9577064@ORSMSX110.amr.corp.intel.com
List-ID: <devel@acpica.org>
To: devel@acpica.org

--===============6452447607386479275==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable

Hi Robert,

Am Mi., 3. Apr. 2019 um 19:38 Uhr schrieb Moore, Robert <
robert.moore(a)intel.com>:

> 2)      Disable the specific remark via the =E2=80=93VW option.
>
> iasl -vw 2158 dsdt.asl   // disable remark #2158
>
Thank you for the pointer to that option, that's very helpful.

Independent from that, is there interest in providing language features on
top of ASL (maybe in revisions to the spec if the tool is meant to remain
strictly compliant) to more rigorously express constraints that can be
verified at compile time?


Regards,
Patrick
-- =

Google Germany GmbH, ABC-Str. 19, 20354 Hamburg
Registergericht und -nummer: Hamburg, HRB 86891, Sitz der Gesellschaft:
Hamburg
Gesch=C3=A4ftsf=C3=BChrer: Paul Manicle, Halimah DeLaine Prado

--===============6452447607386479275==
Content-Type: text/html
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="attachment.html"

PGRpdiBkaXI9Imx0ciI+PGRpdiBkaXI9Imx0ciI+SGkgUm9iZXJ0LDwvZGl2PjxkaXY+PGJyPjwv
ZGl2PjxkaXYgY2xhc3M9ImdtYWlsX3F1b3RlIj48ZGl2IGRpcj0ibHRyIiBjbGFzcz0iZ21haWxf
YXR0ciI+QW0gTWkuLCAzLiBBcHIuIDIwMTkgdW0gMTk6MzjCoFVociBzY2hyaWViIE1vb3JlLCBS
b2JlcnQgJmx0OzxhIGhyZWY9Im1haWx0bzpyb2JlcnQubW9vcmVAaW50ZWwuY29tIj5yb2JlcnQu
bW9vcmVAaW50ZWwuY29tPC9hPiZndDs6PGJyPjwvZGl2PjxibG9ja3F1b3RlIGNsYXNzPSJnbWFp
bF9xdW90ZSIgc3R5bGU9Im1hcmdpbjowcHggMHB4IDBweCAwLjhleDtib3JkZXItbGVmdDoxcHgg
c29saWQgcmdiKDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6MWV4Ij4KCgoKCgo8ZGl2IGxhbmc9
IkVOLVVTIj4KPGRpdiBjbGFzcz0iZ21haWwtbV8tNjgzNjE5NjQxNzMyMTg1MDYyMldvcmRTZWN0
aW9uMSI+CjxwIGNsYXNzPSJNc29Ob3JtYWwiPjxzcGFuIHN0eWxlPSJmb250LXNpemU6MTFwdDtm
b250LWZhbWlseTpDYWxpYnJpLHNhbnMtc2VyaWY7Y29sb3I6cmdiKDMxLDczLDEyNSkiPjIpPHNw
YW4gc3R5bGU9ImZvbnQtdmFyaWFudC1udW1lcmljOm5vcm1hbDtmb250LXZhcmlhbnQtZWFzdC1h
c2lhbjpub3JtYWw7Zm9udC1zdHJldGNoOm5vcm1hbDtmb250LXNpemU6N3B0O2xpbmUtaGVpZ2h0
Om5vcm1hbDtmb250LWZhbWlseTomcXVvdDtUaW1lcyBOZXcgUm9tYW4mcXVvdDsiPsKgwqDCoMKg
wqAKPC9zcGFuPjwvc3Bhbj48dT48L3U+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMXB0O2ZvbnQt
ZmFtaWx5OkNhbGlicmksc2Fucy1zZXJpZjtjb2xvcjpyZ2IoMzEsNzMsMTI1KSI+RGlzYWJsZSB0
aGUgc3BlY2lmaWMgcmVtYXJrIHZpYSB0aGUg4oCTVlcgb3B0aW9uLjwvc3Bhbj48YnI+PC9wPgo8
cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBzdHlsZT0iY29sb3I6cmdiKDMxLDczLDEyNSk7Zm9u
dC1mYW1pbHk6JnF1b3Q7Q291cmllciBOZXcmcXVvdDs7Zm9udC1zaXplOjEwcHQiPmlhc2wgLXZ3
IDIxNTggZHNkdC5hc2zCoMKgIC8vIGRpc2FibGUgcmVtYXJrICMyMTU4PC9zcGFuPjwvcD48L2Rp
dj48L2Rpdj48L2Jsb2NrcXVvdGU+PC9kaXY+PGRpdj48ZGl2PlRoYW5rIHlvdSBmb3IgdGhlIHBv
aW50ZXIgdG8gdGhhdCBvcHRpb24sIHRoYXQmIzM5O3MgdmVyeSBoZWxwZnVsLjwvZGl2PjxkaXY+
PGJyPjwvZGl2PjxkaXY+SW5kZXBlbmRlbnQgZnJvbSB0aGF0LCBpcyB0aGVyZSBpbnRlcmVzdCBp
biBwcm92aWRpbmcgbGFuZ3VhZ2UgZmVhdHVyZXMgb24gdG9wIG9mIEFTTCAobWF5YmUgaW4gcmV2
aXNpb25zIHRvIHRoZSBzcGVjIGlmIHRoZSB0b29sIGlzIG1lYW50IHRvIHJlbWFpbiBzdHJpY3Rs
eSBjb21wbGlhbnQpIHRvIG1vcmUgcmlnb3JvdXNseSBleHByZXNzIGNvbnN0cmFpbnRzIHRoYXQg
Y2FuIGJlIHZlcmlmaWVkIGF0IGNvbXBpbGUgdGltZT88L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2
Pjxicj48L2Rpdj48ZGl2PlJlZ2FyZHMsPC9kaXY+PGRpdj5QYXRyaWNrPC9kaXY+PC9kaXY+LS0g
PGJyPjxkaXYgZGlyPSJsdHIiIGNsYXNzPSJnbWFpbF9zaWduYXR1cmUiPkdvb2dsZSBHZXJtYW55
IEdtYkgsIEFCQy1TdHIuIDE5LCAyMDM1NCBIYW1idXJnPGJyPlJlZ2lzdGVyZ2VyaWNodCB1bmQg
LW51bW1lcjogSGFtYnVyZywgSFJCIDg2ODkxLCBTaXR6IGRlciBHZXNlbGxzY2hhZnQ6IEhhbWJ1
cmc8YnI+R2VzY2jDpGZ0c2bDvGhyZXI6IFBhdWwgTWFuaWNsZSwgSGFsaW1haCBEZUxhaW5lIFBy
YWRvPC9kaXY+PC9kaXY+Cg==

--===============6452447607386479275==--