Definition at line 713 of file uipc_sem.c.
Definition at line 714 of file uipc_sem.c.
Referenced by sys_ksem_post(), and systrace_args().