1#include "time32.h"
 2#include <time.h>
 3#include <sys/timex.h>
 4
 5struct timex32;
 6
 7int __adjtimex_time32(struct timex32 *tx32)
 8{
 9	return __clock_adjtime32(CLOCK_REALTIME, tx32);
10}