#ifndef _HACK_TIME_H_
#define _HACK_TIME_H_

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

extern inline void 
do_gettimeofday (struct timeval *tp)
{
  fill_timeval (tp);
}

#endif