RUMP_SYS_RENAME__KSEM_INIT
#ifndef RUMP_SYS_RENAME__KSEM_INIT
int rump_sys__ksem_init(unsigned int, intptr_t *) __RENAME(RUMP_SYS_RENAME__KSEM_INIT);