pfinet/linux/time.h


1
2
3
4
5
6
7
8
9
10
11
12
13

#ifndef _HACK_TIME_H_
#define _HACK_TIME_H_

#include <sys/time.h>
#include "mapped-time.h"

extern inline void
do_gettimeofday (struct timeval *tp)
{
  maptime_read (mapped_time, &_xtime_buf);
}

#endif