diff --git a/sys/kern/subr_bus.c b/sys/kern/subr_bus.c
--- a/sys/kern/subr_bus.c
+++ b/sys/kern/subr_bus.c
@@ -51,6 +51,7 @@
 #include <sys/smp.h>
 #include <sys/sysctl.h>
 #include <sys/systm.h>
+#include <sys/taskqueue.h>
 #include <sys/bus.h>
 #include <sys/cpuset.h>
 #ifdef INTRNG
@@ -120,6 +121,8 @@
 	LIST_ENTRY(device_prop_elm) link;
 };
 
+TASKQUEUE_DEFINE_THREAD(bus);
+
 static void device_destroy_props(device_t dev);
 
 /**
diff --git a/sys/sys/taskqueue.h b/sys/sys/taskqueue.h
--- a/sys/sys/taskqueue.h
+++ b/sys/sys/taskqueue.h
@@ -215,4 +215,10 @@
 				    taskqueue_enqueue_fn enqueue,
 				    void *context);
 
+/*
+ * This queue is used to process asynchronous device events such as
+ * hot plug insertion and removal of devices.
+ */
+TASKQUEUE_DECLARE(bus);
+
 #endif /* !_SYS_TASKQUEUE_H_ */