_UC_ARM_VFP
&& (curcpu()->ci_vfp_id == 0 || (flags & _UC_ARM_VFP) == 0))
*flagsp |= _UC_FPU|_UC_ARM_VFP;