Lines Matching defs:fpexc
405 uint32_t fpexc;
424 fpexc = armreg_fpexc_read();
425 if (fpexc & VFP_FPEXC_EN) {
426 if ((fpexc & VFP_FPEXC_EX) == 0) {
439 fpexc = armreg_fpexc_read();
440 if (fpexc & VFP_FPEXC_EX) {
442 KASSERT(fpexc & VFP_FPEXC_EN);
451 armreg_fpexc_write(fpexc & ~(VFP_FPEXC_EX|VFP_FPEXC_FSUM));
461 if (fpexc & VFP_FPEXC_IXF)
463 else if (fpexc & VFP_FPEXC_UFF)
465 else if (fpexc & VFP_FPEXC_OFF)
467 else if (fpexc & VFP_FPEXC_DZF)
469 else if (fpexc & VFP_FPEXC_IOF)
542 uint32_t fpexc = armreg_fpexc_read();
543 armreg_fpexc_write(fpexc | VFP_FPEXC_EN);
573 uint32_t fpexc = armreg_fpexc_read();
583 armreg_fpexc_write((fpexc | VFP_FPEXC_EN) & ~VFP_FPEXC_EX);
585 fregs->vfp_fpexc = fpexc;
586 if (fpexc & VFP_FPEXC_EX) {
589 if (fpexc & VFP_FPEXC_FP2V)
596 armreg_fpexc_write(fpexc & ~VFP_FPEXC_EN);
615 * is still set so it just restore fpexc and return since its
681 uint32_t fpexc;
713 fpexc = armreg_fpexc_read();
714 fpexc |= VFP_FPEXC_EN;
715 fpexc &= ~VFP_FPEXC_EX;
716 armreg_fpexc_write(fpexc);
724 uint32_t fpexc;
752 fpexc = armreg_fpexc_read();
753 fpexc &= ~VFP_FPEXC_EN;
754 armreg_fpexc_write(fpexc);
Indexes created Tue Sep 23 14:10:03 GMT 2025