Symbol: RUMP_SYS_RENAME_TIMER_GETTIME
sys/rump/include/rump/rump_syscalls.h
1048
int rump_sys_timer_gettime(timer_t, struct itimerspec *) __RENAME(RUMP_SYS_RENAME_TIMER_GETTIME);
sys/rump/include/rump/rump_syscalls.h
807
#ifndef RUMP_SYS_RENAME_TIMER_GETTIME