SPEC_CTRL_IBRS
andq $SPEC_CTRL_IBRS|SPEC_CTRL_STIBP, %rax ; \
andq $SPEC_CTRL_IBRS|SPEC_CTRL_STIBP, %rax ; \
ASSYM(SPEC_CTRL_IBRS, SPEC_CTRL_IBRS);
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
spec_mask = SPEC_CTRL_IBRS | SPEC_CTRL_STIBP |
spec_ctrl |= SPEC_CTRL_IBRS;
spec_ctrl |= SPEC_CTRL_IBRS | SPEC_CTRL_DUMMY_ENABLE;
spec_ctrl & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
spec_ctrl &= ~SPEC_CTRL_IBRS;