MiCapturePageFileInfoInline

UINT64 __fastcall MiCapturePageFileInfoInline(UINT64 *a1, INT64 a2, INT64 a3){
  UINT64 v3; 
  int v4; 
  int v5; 
  UINT64 result; 
  v3 = *a1;
  v4 = a3;
  v5 = a2;
  if( (*a1 & 4) != 0 )
  {
    result = MI_READ_PTE_LOCK_FREE((INT64)a1);
    if( v5 )
      *a1 = v3 & 0xFFFFFFFFFFFFFFFBui64;
    if( !v4 )
      result &= ~2ui64;
  }
  else if( (_DWORD)a3 && (v3 & 2) != 0 )
  {
    return MI_READ_PTE_LOCK_FREE((INT64)a1);
  }
  else
  {
    return 0i64;
  }
  return result;
}

Referenced by: