We need mtx_{enter,leave}.