Skip to content

Conversation

@iximeow
Copy link
Member

@iximeow iximeow commented Jan 21, 2026

There was a test that explicitly rejected this, but because ASpace is exclusive it's actually fine for start == end. Adjust the test to use such a one-wide address space instead; it worked fine the whole time.

This (should?) fix #1019.

@dancrossnyc theoretically from my analysis in #1019 I believe any access to a VirtIO ISR should have immediately panic'd propolis, but I know we've both seen NICs work before and after landing #998. Do the two observations of "typically working Propolis" and "lazy-static initializer const-eval' to panic()" make sense to you? In particular, does it seem possible that a guest wouldn't touch this register except in some odd circumstance? The alternative to me seems like a guest OS/driver that we missed in testing which does touch this register when others don't?

There was a test that explicitly rejected this, but because ASpace is
exclusive it's actually fine for `start == end`. Adjust the test to use
such a one-wide address space instead; it worked fine the whole time.
@iximeow iximeow added this to the 18 milestone Jan 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ASpace asserts when covering exactly one element

2 participants