MiUnmapSinglePage

VOID __stdcall MiUnmapSinglePage(PVOID VirtualAddress){
  MiReleasePtes(
    (INT64)&qword_140C4EC80,
    (INT64)MmGetPteBase() + (((unsigned __int64)VirtualAddress >> 9) & 0x7FFFFFFFF8i64),
    1ui64);
}

Referenced by:

MiFillCombinePage
MiFreeForkMaps