Lines Matching refs:VFP_FPEXC_EN
198 if (pcb->pcb_vfp.vfp_fpexc & VFP_FPEXC_EN)
425 if (fpexc & VFP_FPEXC_EN) {
442 KASSERT(fpexc & VFP_FPEXC_EN);
505 && (armreg_fpexc_read() & VFP_FPEXC_EN) != 0)
537 KASSERT((armreg_fpexc_read() & VFP_FPEXC_EN) == 0);
543 armreg_fpexc_write(fpexc | VFP_FPEXC_EN);
544 fregs->vfp_fpexc |= VFP_FPEXC_EN;
547 KASSERT((fregs->vfp_fpexc & VFP_FPEXC_EN) == 0);
552 fregs->vfp_fpexc |= VFP_FPEXC_EN;
583 armreg_fpexc_write((fpexc | VFP_FPEXC_EN) & ~VFP_FPEXC_EX);
596 armreg_fpexc_write(fpexc & ~VFP_FPEXC_EN);
608 pcb->pcb_vfp.vfp_fpexc &= ~VFP_FPEXC_EN;
614 * pcu_load invokes vfp_state_load it will see that VFP_FPEXC_EN
618 armreg_fpexc_write(armreg_fpexc_read() & ~VFP_FPEXC_EN);
714 fpexc |= VFP_FPEXC_EN;
753 fpexc &= ~VFP_FPEXC_EN;