228: if ( ercd >= E_OK ) {
229: mutex_mlock[index].owner_tid[no] = tk_get_tid();
230: }
239:
240: if ( mutex_mlock[index].owner_tid[no] != tk_get_tid() ) {
241: return E_ILUSE;
295: #ifdef DEBUG
296: printf("mutex init %lu(at %p) by %d, old id = %lu\n", mtx->mtxid, mtx, tk_get_tid(), old_id);
297: #endif
309: #ifdef DEBUG
310: printf("mutex destroy %lu(at %p) by %d\n", mtx->mtxid, mtx, tk_get_tid());
311: #endif
314: #ifdef DEBUG
315: printf("mutex destroy uninitialized %lu by %d\n", mtx->mtxid, tk_get_tid());
316: #endif
338: if ( ercd < E_OK ) {
339: ID id = tk_get_tid();
340: if ( ercd == E_ID ) {
357: if ( ercd < E_OK ) {
358: ID id = tk_get_tid();
359: if ( ercd == E_ID ) {
464:
465: owned = (mutex_mlock[index].owner_tid[no] == tk_get_tid()) ? 1 : 0;
466: