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: }