- 
Xavier Thompson authored
This commit introduces the following changes: - 'locked' becomes 'lock' - 'locked&' becomes 'locked' - references reachable from a locked reference are noted as 'lock->'
34924021 
This commit introduces the following changes: - 'locked' becomes 'lock' - 'locked&' becomes 'locked' - references reachable from a locked reference are noted as 'lock->'