1#define f32divf64x __hide_f32divf64x
2#define f32divf128 __hide_f32divf128
3#include <float128_private.h>
4#undef f32divf64x
5#undef f32divf128
6#include "../ldbl-128/s_fdivl.c"
7

source code of glibc/sysdeps/ieee754/float128/s_f32divf128.c