Searched refs:VKI_FPE_FLTDIV (Results 1 – 3 of 3) sorted by relevance
501 #define VKI_FPE_FLTDIV FPE_FLTDIV macro
509 #define VKI_FPE_FLTDIV (__VKI_SI_FAULT|3) /* floating point divide by zero */ macro
1658 case VKI_FPE_FLTDIV: event = "FP divide by zero"; break; in default_action()