RUMP_SYS_RENAME_TIMER_CREATE
#ifndef RUMP_SYS_RENAME_TIMER_CREATE
int rump_sys_timer_create(clockid_t, struct sigevent *, timer_t *) __RENAME(RUMP_SYS_RENAME_TIMER_CREATE);