return tdesc_i386_mpx_linux;
case X86_TDESC_AVX_MPX:
return tdesc_i386_avx_mpx_linux;
+ case X86_TDESC_AVX_AVX512:
+ return tdesc_i386_avx_avx512_linux;
case X86_TDESC_AVX_MPX_AVX512:
return tdesc_i386_avx_mpx_avx512_linux;
default:
init_registers_i386_linux ();
init_registers_i386_avx_linux ();
init_registers_i386_mpx_linux ();
+ init_registers_i386_avx_avx512_linux ();
init_registers_i386_avx_mpx_avx512_linux ();
+
initialize_fast_tracepoint_trampoline_buffer ();
}