Document ordering of calls to locking functions