/* The generic version of get-rounding-mode.h using fpu_control.h, not
   the one using the software rounding mode, is correct for e500.  */

#include <sysdeps/generic/get-rounding-mode.h>