pscpu
if (pscpu->trampoline.tr_pcb_spec_ctrl[1] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
if (pscpu->trampoline.tr_pcb_spec_ctrl[0] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
if (pscpu->trampoline.tr_pcb_spec_ctrl[1] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
if (pscpu->trampoline.tr_pcb_spec_ctrl[0] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
if (pscpu->trampoline.tr_pcb_spec_ctrl[1] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[1] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
if (pscpu->trampoline.tr_pcb_spec_ctrl[0] &
wrmsr(MSR_SPEC_CTRL, pscpu->trampoline.tr_pcb_spec_ctrl[0] & (SPEC_CTRL_IBRS|SPEC_CTRL_STIBP));
tramp = &pscpu->trampoline;
tr = &pscpu->trampoline;
tr = &pscpu->trampoline;