sem_used_sems
extern int32 sem_used_sems(void);
uint32 freeSems = maxSems - sem_used_sems();
sem_max_sems() - sem_used_sems()));
state_to_string(sLowSemaphoresState), sem_max_sems() - sem_used_sems());
info->used_sems = sem_used_sems();
kprintf("sems:\t\t%" B_PRId32 " (%" B_PRId32 " max)\n", sem_used_sems(),