StateFromPageValue:
SAFE
PROC
[map: BootFileChanges.PageValue] RETURNS [BriefPageState];
This procedure interprets a raw memory map entry and assumes that it meets the representation requirements of VMInternal. The specification of this procedure is subject to change when the representation of the VMMap changes.
RRA: This guy changed from taking a PrincOps.InterimPageState to taking a BootFileChanges.PageValue, which describes a larger range of physical pages.