INT64 __fastcall MiCreatePteWsle(INT64 a1, BYTE *a2, INT64 a3){ if( (int)a3 < 1 && (*a2 & 1) != 0 ) MiWriteWsle(a1, (__int64)(((_QWORD)a2 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16, 9u); return 0i64; }