Symbol: mds_handler_skl_sse
sys/x86/x86/cpu_machdep.c
1254
void mds_handler_skl_sse(void);
sys/x86/x86/cpu_machdep.c
1273
else if (mds_handler == mds_handler_skl_sse)
sys/x86/x86/cpu_machdep.c
1396
mds_handler = mds_handler_skl_sse;