//
// Unmap the page at the provided virtual address and release its
// underlying physical page
//
internal static void UnmapAndReleasePage(UIntPtr virtualAddr)
{
DebugStub.Assert(VMManager.IsPageMapped(virtualAddr),
"Trying to unmap an unmapped page");
PhysicalAddress phys = VMManager.UnmapPage(virtualAddr);
DebugStub.Assert(phys != PhysicalAddress.Null);
PhysicalPages.FreePage(phys);
}