Rename mutex variable name.

Avoid confusion around similarity with the mux variable