VOID __stdcall MiReleasePageHash(UINT64 *PageHash, UINT64 MaximumSize){
MiReleasePtes(
(INT64)&qword_140C4EC80,
(INT64)MmGetPteBase() + (((unsigned __int64)PageHash >> 9) & 0x7FFFFFFFF8i64),
(unsigned int)((4 * (unsigned __int64)(unsigned int)MaximumSize) >> 12)
+ (((4i64 * (unsigned int)MaximumSize) & 0xFFF) != 0));
}