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