system_high = *(_QWORD *)(SystemMitigation + 16);
  output_low = 0i64;
  index = 0;
  system_low = *(_OWORD *)SystemMitigation;
  ifeo_low = *IFEOMitigation;
  ifeo_high = *((_QWORD *)IFEOMitigation + 2);
  v18 = 0i64;
  do
  {
    v7 = 0;
    nb_64b_chunk = (unsigned __int64)(unsigned int)(4 * index) >> 6;
    idx_in_64b_chunk = (4 * index) & 0x3F;
    system_nibble = *((_QWORD *)&system_low + nb_64b_chunk) >> idx_in_64b_chunk;
    if ( system_nibble & 4 || !((*((_QWORD *)&ifeo_low + nb_64b_chunk) >> idx_in_64b_chunk) & 3) )
      v7 = 1;
    if ( !v7 )
      LOBYTE(system_nibble) = *((_QWORD *)&ifeo_low + nb_64b_chunk) >> idx_in_64b_chunk;
    result = *((_QWORD *)&output_low + nb_64b_chunk) & ~(0xFi64 << idx_in_64b_chunk);
    ++index;
    *((_QWORD *)&output_low + nb_64b_chunk) = result | ((unsigned __int64)(system_nibble & 0xF) << idx_in_64b_chunk);
  }
  while ( index < 33 );
  output_high = v18;
  *(_OWORD *)Output = output_low;
  *(_QWORD *)(Output + 16) = output_high;
  return result;