VFP_FPEXC_EN
fpregs->fpr_vfp.vfp_fpexc = VFP_FPEXC_EN | VFP_FPEXC_VECITR;
armreg_fpexc_write(arm_efirt_state.aert_fpexc & ~VFP_FPEXC_EN);
regs->fpr_vfp.vfp_fpexc &= ~VFP_FPEXC_EN;
pcb->pcb_vfp.vfp_fpexc &= ~VFP_FPEXC_EN;
pcb2->pcb_vfp.vfp_fpexc &= ~VFP_FPEXC_EN;
if (pcb->pcb_vfp.vfp_fpexc & VFP_FPEXC_EN)
if (fpexc & VFP_FPEXC_EN) {
KASSERT(fpexc & VFP_FPEXC_EN);
&& (armreg_fpexc_read() & VFP_FPEXC_EN) != 0)
KASSERT((armreg_fpexc_read() & VFP_FPEXC_EN) == 0);
armreg_fpexc_write(fpexc | VFP_FPEXC_EN);
fregs->vfp_fpexc |= VFP_FPEXC_EN;
KASSERT((fregs->vfp_fpexc & VFP_FPEXC_EN) == 0);
fregs->vfp_fpexc |= VFP_FPEXC_EN;
armreg_fpexc_write((fpexc | VFP_FPEXC_EN) & ~VFP_FPEXC_EX);
armreg_fpexc_write(fpexc & ~VFP_FPEXC_EN);
pcb->pcb_vfp.vfp_fpexc &= ~VFP_FPEXC_EN;
armreg_fpexc_write(armreg_fpexc_read() & ~VFP_FPEXC_EN);
fpexc |= VFP_FPEXC_EN;
fpexc &= ~VFP_FPEXC_EN;
aux->vfp.ufp_exc.fpexc = VFP_FPEXC_EN | VFP_FPEXC_VECITR;