Symbol: mds_handler_bdw
sys/arch/amd64/amd64/cpu.c
293
extern long mds_handler_bdw, mds_handler_ivb, mds_handler_skl;
sys/arch/amd64/amd64/cpu.c
346
handler = vmm_handler = &mds_handler_bdw;