Symbol: MSR_PRED_CMD
sys/arch/amd64/amd64/vmm_machdep.c
3912
wrmsr(MSR_PRED_CMD, PRED_CMD_IBPB);
sys/arch/amd64/amd64/vmm_machdep.c
6794
wrmsr(MSR_PRED_CMD, PRED_CMD_IBPB);