Symbol: RUMP_SYS_RENAME_TIMER_GETOVERRUN
sys/rump/include/rump/rump_syscalls.h
803
#ifndef RUMP_SYS_RENAME_TIMER_GETOVERRUN
sys/rump/include/rump/rump_syscalls.h
961
int rump_sys_timer_getoverrun(timer_t) __RENAME(RUMP_SYS_RENAME_TIMER_GETOVERRUN);