Searched defs:VKI_FPE_FLTDIV (Results 1 – 3 of 3) sorted by relevance
520 #define VKI_FPE_FLTDIV FPE_FLTDIV macro
949 #define VKI_FPE_FLTDIV FPE_FLTDIV macro
513 #define VKI_FPE_FLTDIV (__VKI_SI_FAULT|3) /* floating point divide by zero */ macro