taglinefilesource code
GETZCNT436ipc/sem.ccase GETZCNT:
GETZCNT448ipc/sem.ccase GETZCNT:
GETZCNT456ipc/sem.ccase GETZCNT: return count_semzcnt(sma,semnum);