/* destroy the lock manager thread if it's running  */
void __exit afs_kill_lock_manager(void)
/* destroy the lock manager thread if it's running  */
void __exit afs_kill_lock_manager(void)
{
	if (afs_lock_manager)
		destroy_workqueue(afs_lock_manager);
}