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();