MiWalkVaCheckCommon

INT64 __fastcall MiWalkVaCheckCommon(INT64 a1, UINT64 a2, _QWORD *a3, INT64 a4, INT64 a5){
  __int64 v9; 
  if( !(_DWORD)a4 && ((a3[3] & 0x3FFFFFFFFFFFFFFFi64) != 1 || (unsigned int)MiIsPageTableLocked(a1, a2)) )
    return 0i64;
  if( (a3[5] & 0x1000000000i64) == 0 )
  {
    v9 = a3[1];
    if( v9 > 0
      && (unsigned int)MiDemoteCombinedPte(
                         (_MMSUPPORT_INSTANCE *)a1,
                         (_MMPTE *)a2,
                         (_MMPTE *)(v9 | 0x8000000000000000ui64)) == 1 )
    {
      *(_QWORD *)a5 = MI_READ_PTE_LOCK_FREE(a2);
    }
  }
  return 1i64;
}

Referenced by: