public static void Free(Page *page) { Default.Free(page); }
public static void FreeAddr(this IPageFrameAllocator allocator, Addr addr) { allocator.Free(allocator.GetPageByAddress(addr)); }