PCU_FPU
[PCU_FPU] = &pcu_fpu_ops
.pcu_id = PCU_FPU,
.pcu_id = PCU_FPU,
[PCU_FPU] = &fpu_ops,
[PCU_FPU] = &arm_vfp_ops,
.pcu_id = PCU_FPU,
if (curlwp->l_pcu_cpu[PCU_FPU] == ci) {
KASSERT(ci->ci_pcu_curlwp[PCU_FPU] == curlwp);
if (curcpu()->ci_pcu_curlwp[PCU_FPU] == curlwp
KASSERT(curcpu()->ci_pcu_curlwp[PCU_FPU] == NULL);
KASSERT(l->l_pcu_cpu[PCU_FPU] == NULL);
KASSERT(curcpu()->ci_pcu_curlwp[PCU_FPU] == l);
KASSERT(curcpu() == l->l_pcu_cpu[PCU_FPU]);
KASSERT(curlwp == l || curlwp->l_pcu_cpu[PCU_FPU] != curcpu());
[PCU_FPU] = &mips_fpu_ops,
.pcu_id = PCU_FPU,
|| l->l_cpu->ci_data.cpu_pcu_curlwp[PCU_FPU] == l,
tf, tf->tf_srr1, l->l_cpu->ci_data.cpu_pcu_curlwp[PCU_FPU], l);
if (__predict_true(l->l_pcu_cpu[PCU_FPU] == ci)) {
.pcu_id = PCU_FPU,
[PCU_FPU] = &fpu_ops,
.pcu_id = PCU_FPU,
KASSERT(l->l_pcu_cpu[PCU_FPU] == curcpu());
[PCU_FPU] = &pcu_fpu_ops,