258:                 if ( ercd < E_OK ) {
259:                         panic("release_mutex: %d\n", MERCD(ercd));
260:                 }
274:                 if ( ercd < E_OK ) {
275:                         panic("release_mutex: %d\n", MERCD(ercd));
276:                 }
340:                 if ( ercd == E_ID ) {
341:                         panic("tkn_mutex_enter: task#%d, error=%d, ID = %lu\n", id, MERCD(ercd), mtx->mtxid);
342:                 } else {
343:                         panic("tkn_mutex_enter: task#%d, error=%d\n", id, MERCD(ercd));
344:                 }
359:                 if ( ercd == E_ID ) {
360:                         panic("tkn_mutex_enter: task#%d, error=%d, ID = %lu\n", id, MERCD(ercd), mtx->mtxid);
361:                 } else {
362:                         panic("tkn_mutex_enter: task#%d, error=%d\n", id, MERCD(ercd));
363:                 }
385:         if ( ercd < E_OK ) {
386:                 panic("tkn_mutex_exit: %d\n", MERCD(ercd));
387:         }
405:         if ( ercd < E_OK ) {
406:                 panic("tkn_mutex_exit: %d\n", MERCD(ercd));
407:         }