MiDirtySystemCachePte

VOID __stdcall MiDirtySystemCachePte(INT64 a1, INT64 *a2, INT16 a3){
  CHAR *v5; 
  __int64 v6; 
  UINT64 v7; 
  UINT64 WsIrql; 

  if( (a3 & 0x42) == 0 )
  {
    LOBYTE(WsIrql) = 0;
    if( (a3 & 0x800) != 0 )
    {
      v5 = MiLockWorkingSetOptimal(a1, (UINT64)a2, &WsIrql);
      LODWORD(v6) = MI_READ_PTE_LOCK_FREE((INT64)a2);
      if( (v6 & 1) != 0 && (v6 & 0x42) == 0 && (v6 & 0x800) != 0 )
        MiWriteValidPteNewProtection(a2, v6 | 0x62);
      MiUnlockPageTableInternal(a1, (UINT64)v5);
      LOBYTE(v7) = WsIrql;
      MiUnlockWorkingSetShared((_MMSUPPORT_INSTANCE *)a1, v7);
    }
  }
}

Referenced by: