update mutex.s