MDP_FPUSED
ksc.sc_ownedfp = p->p_md.md_flags & MDP_FPUSED;
p->p_md.md_flags &= ~MDP_FPUSED;
p->p_md.md_flags |= MDP_FPUSED;
p2->p_md.md_flags = p1->p_md.md_flags & (MDP_FPUSED | MDP_FP_C);
p2->p_md.md_flags = p1->p_md.md_flags & MDP_FPUSED;
p->p_md.md_flags |= MDP_FPUSED;
p->p_md.md_flags &= ~MDP_FPUSED;
ksc.sc_fpused = p->p_md.md_flags & MDP_FPUSED;
p->p_md.md_flags |= MDP_FPUSED;
(p->p_md.md_flags & MDP_FPUSED) != 0 &&
p->p_md.md_flags &= ~MDP_FPUSED;
if (!CPU_HAS_FPU(ci) && (p->p_md.md_flags & MDP_FPUSED) != 0 &&
KASSERT((p2->p_md.md_flags & MDP_FPUSED) == 0);