gonzui

Results 1 - 1 of 1 for funcall:wait_release_ok from tkernel_2/kernel/tkernel/src/semaphore.c (0.00 seconds)

kernel/tkernel/src/semaphore.c - 11.5KB - 475 lines

116:                 /* Release wait */
117:                 wait_release_ok(top);
118: 
260:                 /* Release wait */
261:                 wait_release_ok(tcb);
262: