Symbol: mds_handler_bdw
sys/x86/x86/cpu_machdep.c
1253
void mds_handler_bdw(void);
sys/x86/x86/cpu_machdep.c
1271
else if (mds_handler == mds_handler_bdw)
sys/x86/x86/cpu_machdep.c
1361
mds_handler = mds_handler_bdw;