RUMP_SYS_RENAME__KSEM_TIMEDWAIT
#ifndef RUMP_SYS_RENAME__KSEM_TIMEDWAIT
int rump_sys__ksem_timedwait(intptr_t, const struct timespec *) __RENAME(RUMP_SYS_RENAME__KSEM_TIMEDWAIT);