MiWalkVaCheckCommon

__int64 __fastcall MiWalkVaCheckCommon(_MMSUPPORT_INSTANCE *a1, _MMPTE *a2, _QWORD *a3, int a4, __int64 a5){
  __int64 v9; 
  __int64 v10; 

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

Referenced by: