Symbol: mds_handler_ivb
sys/x86/x86/cpu_machdep.c
1252
void mds_handler_ivb(void);
sys/x86/x86/cpu_machdep.c
1269
else if (mds_handler == mds_handler_ivb)
sys/x86/x86/cpu_machdep.c
1343
mds_handler = mds_handler_ivb;