#include "time32.h"
#include <time.h>
#include <sys/timex.h>

struct timex32;

int __adjtimex_time32(struct timex32 *tx32)
{
	return __clock_adjtime32(CLOCK_REALTIME, tx32);
}