Symbol: RUMP_SYS_RENAME_CLOCK_GETTIME
sys/rump/include/rump/rump_syscalls.h
1042
int rump_sys_clock_gettime(clockid_t, struct timespec *) __RENAME(RUMP_SYS_RENAME_CLOCK_GETTIME);
sys/rump/include/rump/rump_syscalls.h
167
#ifndef RUMP_SYS_RENAME_CLOCK_GETTIME