NTSTATUS __stdcall MI_INTERLOCKED_EXCHANGE_PTE(INT64 *a1, INT64 a2){ NTSTATUS v2; int v3; v2 = _InterlockedExchange64(a1, a2); LOBYTE(v3) = MiPteInShadowRange((UINT64)a1); if( v3 ) MiWritePteShadow(); return v2; }