diff --git a/include/nuttx/wqueue.h b/include/nuttx/wqueue.h
index 0b495ae4a3..e9f1e885d9 100644
--- a/include/nuttx/wqueue.h
+++ b/include/nuttx/wqueue.h
@@ -53,7 +53,9 @@
 /****************************************************************************
  * Pre-processor Definitions
  ****************************************************************************/
+
 /* Configuration ************************************************************/
+
 /* CONFIG_SCHED_WORKQUEUE.  Not selectable.  Set by the configuration system
  *   if either CONFIG_SCHED_HPWORK or CONFIG_SCHED_LPWORK are selected.
  * CONFIG_SCHED_HPWORK.  Create a dedicated "worker" thread to
@@ -134,8 +136,6 @@
 #  undef CONFIG_LIB_USRWORK
 #endif
 
-#if defined(CONFIG_SCHED_WORKQUEUE) || defined(CONFIG_LIB_USRWORK)
-
 /* High priority, kernel work queue configuration ***************************/
 
 #ifdef CONFIG_SCHED_HPWORK
@@ -580,5 +580,4 @@ void work_notifier_signal(enum work_evtype_e evtype,
 #endif
 
 #endif /* __ASSEMBLY__ */
-#endif /* CONFIG_SCHED_WORKQUEUE || CONFIG_LIB_USRWORK */
 #endif /* __INCLUDE_NUTTX_WQUEUE_H */