INT64 __fastcall MiWriteWsle(INT64 a1, UINT64 a2, UINT8 a3){ INT64 result; MiWriteValidPteVolatile((_MMPTE *)((char *)MmGetPteBase() + ((a2 >> 9) & 0x7FFFFFFFF8i64)), 0x80000000ui64); return result; }