Symbol: CPTAG_MDS_VMM
sys/arch/amd64/amd64/cpu.c
410
codepatch_call(CPTAG_MDS_VMM, vmm_handler);
sys/arch/amd64/amd64/cpu.c
421
codepatch_nop(CPTAG_MDS_VMM);
sys/arch/amd64/amd64/cpu.c
432
codepatch_nop(CPTAG_MDS_VMM);