MiCrashdumpRemovePte

INT64 __fastcall MiCrashdumpRemovePte(INT64 a1, INT64 a2, INT64 a3){
  UINT64 v4; 
  __int64 v5; 
  UINT64 v7; 
  if( (int)a3 < 1 )
  {
    v7 = MI_READ_PTE_LOCK_FREE(a2);
    v4 = v7;
    if( (v7 & 1) != 0 )
    {
      MiPteInShadowRange((UINT64)&v7);
      v5 = (v4 >> 12) & 0xFFFFFFFFFi64;
      if( (*((_QWORD *)MmGetPfnDb() + 6 * v5 + 3) & 0x3FFFFFFFFFFFFFFFi64) == 1 )
        (*(void(__fastcall **)(_QWORD, __int64, __int64))(*(_QWORD *)(a1 + 168) + 8i64))(
          *(_QWORD *)(a1 + 168),
          v5,
          1i64);
    }
  }
  return 0i64;
}

Referenced by: