VOID __stdcall MiUnmapSinglePage(VOID *VirtualAddress){
_KTBFLUSH_TYPE v1;
MiReleasePtes(
(_MI_SYSTEM_PTE_TYPE *)((char *)&stru_140C4DB30 + 4432),
(_MMPTE *)((char *)MmGetPteBase() + (((unsigned __int64)VirtualAddress >> 9) & 0x7FFFFFFFF8i64)),
1ui64,
v1);
}