clock_gettime: add support for 32-bit vdso with 64-bit time_t

[musl] / src / math / finitef.c

#define _GNU_SOURCE
#include <math.h>

int finitef(float x)
{
        return isfinite(x);
}