MiSyncSystemPdes

__int64 __fastcall MiSyncSystemPdes(__int64 a1){
  UINT64 v2; 
  INT64 v3; 
  __int64 result; 
  struct _KLOCK_QUEUE_HANDLE LockHandle; 
  memset(&LockHandle, 0, sizeof(LockHandle));
  KeAcquireInStackQueuedSpinLock(&WorkerRoutine, &LockHandle);
  if( (*(_DWORD *)(a1 + 1124) & 0x800000) != 0 )
  {
    _InterlockedAnd((volatile signed __int32 *)(a1 + 1124), 0xFF7FFFFF);
    MiUpdateSystemPdes(a1, v2, v3);
  }
  _InterlockedOr((volatile signed __int32 *)(a1 + 1124), 0x800u);
  KeReleaseInStackQueuedSpinLockFromDpcLevel(&LockHandle);
  result = (unsigned int)KiIrqlFlags;
  __writecr8(LockHandle.OldIrql);
  return result;
}

Referenced by: