Symbol: mds_handler_skl_avx
sys/x86/x86/cpu_machdep.c
1255
void mds_handler_skl_avx(void);
sys/x86/x86/cpu_machdep.c
1275
else if (mds_handler == mds_handler_skl_avx)
sys/x86/x86/cpu_machdep.c
1394
mds_handler = mds_handler_skl_avx;