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