Include the must lock function in the documentation