Update mutex_p_c