Revision 1b52f571 xseg/sys/user/xseg_user.c

b/xseg/sys/user/xseg_user.c
7 7
#include <sys/syscall.h>
8 8
#include <errno.h>
9 9
#include <sys/util.h>
10
#include <sys/time.h>
10 11

  
11 12
#include <sys/domain.h>
12 13
#include <xq/domain.h>
......
78 79
{
79 80
	free(ptr);
80 81
}
82

  
83
void __get_current_time(struct timeval *tv) {
84
	gettimeofday(tv, NULL);
85
}
86

  

Also available in: Unified diff