#include "kernel.h"
#include "swis.h"

#include "sys/time.h"

void gettimeofday(struct timeval *tv, struct timezone *tz)
{
  char block[7];
  long long temp;

  block[0]=1;

  _swi(OS_Word, _INR(0,1), 14, block);

  tv->tv_sec=block[4]*3600+block[5]*60+block[6];

  _swi(OS_Word, _INR(0,1), 1, block);

  temp=block[0]+(block[1]<<8)+(block[2]<<16)+(block[3]<<24)+(long long) (block[4])<<32+(long long) (block[5])<<40;
  tv->tv_usec=(temp % 100)*10;
}
