Symbol: RUMP_SYS_RENAME_GETTIMEOFDAY
sys/rump/include/rump/rump_syscalls.h
1037
int rump_sys_gettimeofday(struct timeval *, void *) __RENAME(RUMP_SYS_RENAME_GETTIMEOFDAY);
sys/rump/include/rump/rump_syscalls.h
439
#ifndef RUMP_SYS_RENAME_GETTIMEOFDAY