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
Apologies for the delay in getting back to you, and thank you for taking the time to report this! This is indeed unsound unfortunately.
We couldn't do a straight swap to taking a PhysicalMapping on entries I don't think without making it a free function. I wonder if we can instead use Pin to stop tables that are larger than our representations of them being moved - I'll have a play around and see what I can do.
If you copy a
Madt
out of itsPhysicalMapping
,entries
will take entries from the memory after the copy, not from thePhysicalMapping
's memory.This could be fixed by forcing
entries
to take aPhysicalMapping<_, Madt>
and verify its size.The text was updated successfully, but these errors were encountered: