MiMarkHiberNotCachedPte

INT64 __fastcall MiMarkHiberNotCachedPte(INT64 a1, INT64 a2, INT64 a3){
  int v3; 
  INT64 v4; 
  unsigned __int64 v5; 
  int v6; 
  VOID *v7; 
  UINT64 v8; 
  __int64 v9; 
  UINT64 Tag; 
  UINT64 v12; 
  v3 = a3;
  v4 = MI_READ_PTE_LOCK_FREE(a2);
  v12 = v4;
  v5 = v4;
  if( (v4 & 1) != 0 && ((v6 = v4 & 0x10) == 0 && (v5 & 8) != 0 || v6) )
  {
    v7 = (VOID *)((v5 >> 12) & 0xFFFFFFFFFi64);
    if( (unsigned int)MiIsPfn((UINT64)v7) )
    {
      if( (v5 & 0x80u) == 0i64 )
      {
        if( v3 )
          return 0i64;
        v8 = 1i64;
      }
      else
      {
        v8 = 512i64;
        if( v3 <= 1 )
        {
LABEL_14:
          LODWORD(Tag) = 1668181325;
          PoSetHiberRange(0i64, 0x14000ui64, v7, v8, Tag);
          return 0i64;
        }
        v9 = (unsigned int)(v3 - 1);
        do
        {
          v8 <<= 9;
          --v9;
        }
        while( v9 );
      }
      if( v8 )
        goto LABEL_14;
    }
  }
  return 0i64;
}

Referenced by: