Symbol: mds_handler_knights
sys/arch/amd64/amd64/cpu.c
296
extern long mds_handler_silvermont, mds_handler_knights;
sys/arch/amd64/amd64/cpu.c
391
handler = vmm_handler = &mds_handler_knights;