RUMP_SYS_RENAME__KSEM_OPEN
#ifndef RUMP_SYS_RENAME__KSEM_OPEN
int rump_sys__ksem_open(const char *, int, mode_t, unsigned int, intptr_t *) __RENAME(RUMP_SYS_RENAME__KSEM_OPEN);