taglinefilesource code
GETNCNT435ipc/sem.ccase GETNCNT:
GETNCNT447ipc/sem.ccase GETNCNT:
GETNCNT455ipc/sem.ccase GETNCNT: return count_semncnt(sma,semnum);