Searched defs:VKI_FPE_FLTOVF (Results 1 – 3 of 3) sorted by relevance
521 #define VKI_FPE_FLTOVF FPE_FLTOVF macro
950 #define VKI_FPE_FLTOVF FPE_FLTOVF macro
514 #define VKI_FPE_FLTOVF (__VKI_SI_FAULT|4) /* floating point overflow */ macro