Symbol: RUMP_SYS_RENAME__KSEM_GETVALUE
sys/rump/include/rump/rump_syscalls.h
63
#ifndef RUMP_SYS_RENAME__KSEM_GETVALUE
sys/rump/include/rump/rump_syscalls.h
971
int rump_sys__ksem_getvalue(intptr_t, unsigned int *) __RENAME(RUMP_SYS_RENAME__KSEM_GETVALUE);