timerfd: add time64 syscall support, decouple 32-bit time_t

[musl] / src / stdio / vprintf.c

#include <stdio.h>

int vprintf(const char *restrict fmt, va_list ap)
{
        return vfprintf(stdout, fmt, ap);
}