Symbol: mds_handler_verw
sys/x86/x86/cpu_machdep.c
1251
void mds_handler_verw(void);
sys/x86/x86/cpu_machdep.c
1267
else if (mds_handler == mds_handler_verw)
sys/x86/x86/cpu_machdep.c
1323
mds_handler = mds_handler_verw;