From b7a813fc218f7266fa952f6c5ab812c98895c951 Mon Sep 17 00:00:00 2001
From: Konstantin Belousov <kib@FreeBSD.org>
Date: Thu, 27 Nov 2008 16:47:25 +0000
Subject: [PATCH] Explicitely note that destroy_dev() sleeps.

Requested by:	ed (some time ago), Jaakko Heinonen <jh saunalahti fi>
---
 sys/kern/kern_conf.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/kern/kern_conf.c b/sys/kern/kern_conf.c
index c77a83400bcb..fb18b343f9b6 100644
--- a/sys/kern/kern_conf.c
+++ b/sys/kern/kern_conf.c
@@ -862,6 +862,7 @@ void
 destroy_dev(struct cdev *dev)
 {
 
+	WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "destroy_dev");
 	dev_lock();
 	destroy_devl(dev);
 	dev_unlock_and_free();