/* 
 * time.c
 *
 * x-kernel v3.3
 *
 * Copyright (c) 1993,1991,1990,1996  Arizona Board of Regents
 *
 * $Revision: 1.2 $
 * $Date: 1997/06/10 17:18:09 $
 */

#include <sys/timers.h>
#include <xtime.h>

#ifdef __STDC__

int	getclock(int, struct timespec *);

#endif

void
xGetTime(tp)
    XTime *tp;
{
  getclock(TIMEOFDAY, (struct timespec *)tp);
  tp->usec = tp->usec/1000;	/* convert ns to us */
}