Symbol: rumpuser_clock_gettime
sys/rump/include/rump/rumpuser.h
128
int rumpuser_clock_gettime(int, int64_t *, long *);
sys/rump/librump/rumpkern/emul.c
223
rumpuser_clock_gettime(RUMPUSER_CLOCK_ABSMONO, &sec_ini, &nsec_ini);
sys/rump/librump/rumpkern/emul.c
245
rumpuser_clock_gettime(RUMPUSER_CLOCK_ABSMONO,
sys/rump/librump/rumpkern/intr.c
105
error = rumpuser_clock_gettime(RUMPUSER_CLOCK_ABSMONO, &sec, &nsec);
sys/rump/librump/rumpkern/rump.c
270
rumpuser_clock_gettime(RUMPUSER_CLOCK_RELWALL, &sec, &nsec);