Add synopsis for upgrade_lock