MI_INTERLOCKED_EXCHANGE_PTE

INT64 __fastcall MI_INTERLOCKED_EXCHANGE_PTE(volatile INT64 *a1, INT64 a2){
  return _InterlockedExchange64(a1, a2);
}