diff options
| -rw-r--r-- | sys/kern/kern_conf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/kern/kern_conf.c b/sys/kern/kern_conf.c index c77a834..fb18b34 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(); |
