x32.patch

   1 --- gdb-8.0/gdb/gdbserver/linux-amd64-ipa.c~    2017-06-04 17:51:26.000000000 +0200
   2 +++ gdb-8.0/gdb/gdbserver/linux-amd64-ipa.c     2017-06-07 01:14:20.673962263 +0200
   3 @@ -182,8 +182,8 @@
   4        return tdesc_x32_linux;
   5      case X86_TDESC_AVX:
   6        return tdesc_x32_avx_linux;
   7 -    case X86_TDESC_AVX512:
   8 -      return tdesc_x32_avx512_linux;
   9 +    case X86_TDESC_AVX_AVX512:
  10 +      return tdesc_x32_avx_avx512_linux;
  11      default:
  12        break;
  13      }
  14 @@ -279,7 +279,7 @@
  15  #if defined __ILP32__
  16    init_registers_x32_linux ();
  17    init_registers_x32_avx_linux ();
  18 -  init_registers_x32_avx512_linux ();
  19 +  init_registers_x32_avx_avx512_linux ();
  20  #else
  21    init_registers_amd64_linux ();
  22    init_registers_amd64_avx_linux ();