VFPEXC_EN
set_vfp_fpexc(VFPEXC_EN);
if ((fpexc & VFPEXC_EN) != 0) {
if (get_vfp_fpexc() & VFPEXC_EN) {
if ((fpexc & VFPEXC_EN) == 0)