Symbol: RUMP_SYS_RENAME_TIMER_DELETE
sys/rump/include/rump/rump_syscalls.h
799
#ifndef RUMP_SYS_RENAME_TIMER_DELETE
sys/rump/include/rump/rump_syscalls.h
960
int rump_sys_timer_delete(timer_t) __RENAME(RUMP_SYS_RENAME_TIMER_DELETE);