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