You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Bug description:
offset.unmap_range() bailed out if unmap() internally returned an error.
The original intention was that the caller may choose to ignore the page
not mapped errors as of demand paging. This obviously due to bad API
design decision bailed out early instead of unmapping the rest of the
address range aswell. Causing all sorts of bugs. Now its fixed, yay!
(xfe also works now)
Signed-off-by: Anhad Singh <[email protected]>
0 commit comments