taglinefilesource code
GETNCNT224ipc/sem.ccase GETNCNT:
GETNCNT232ipc/sem.ccase GETNCNT: return curr->semncnt;