Lines Matching defs:VKI_FPE_FLTOVF
510 #define VKI_FPE_FLTOVF (__VKI_SI_FAULT|4) /* floating point overflow */
