BOOL __fastcall MiPteIsSessionDynamicBuffer(UINT64 a1){
_MMPTE *PteBase;
PteBase = MmGetPteBase();
return a1 >= (unsigned __int64)PteBase + (((unsigned __int64)qword_140C4CAD0 >> 9) & 0x7FFFFFFFF8i64)
&& a1 < (unsigned __int64)PteBase + ((((unsigned __int64)qword_140C4CAD0 + 0x2000) >> 9) & 0x7FFFFFFFF8i64);
}