From 6f9e477de3da1df50fff1bde2136fd5d79f8fc9a Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 25 Nov 2018 16:04:31 -0600
Subject: [PATCH] include/nuttx/irq.h:  Correct some comments.

---
 include/nuttx/irq.h | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/include/nuttx/irq.h b/include/nuttx/irq.h
index 7dd6c78eba..28264b7f57 100644
--- a/include/nuttx/irq.h
+++ b/include/nuttx/irq.h
@@ -175,7 +175,9 @@ int irqchain_detach(int irq, xcpt_t isr, FAR void *arg);
  * Name: enter_critical_section
  *
  * Description:
- *   If SMP is enabled:
+ *   If thread-specific IRQ counter is enabled (for SMP or other
+ *   instrumentation):
+ *
  *     Take the CPU IRQ lock and disable interrupts on all CPUs.  A thread-
  *     specific counter is increment to indicate that the thread has IRQs
  *     disabled and to support nested calls to enter_critical_section().
@@ -186,6 +188,7 @@ int irqchain_detach(int irq, xcpt_t isr, FAR void *arg);
  *     protected logic using spinlocks.
  *
  *   If thread-specific IRQ counter is not enabled:
+ *
  *     This function is equivalent to up_irq_save().
  *
  * Input Parameters:
@@ -207,12 +210,15 @@ irqstate_t enter_critical_section(void);
  * Name: leave_critical_section
  *
  * Description:
- *   If SMP is enabled:
+ *   If thread-specific IRQ counter is enabled (for SMP or other
+ *   instrumentation):
+ *
  *     Decrement the IRQ lock count and if it decrements to zero then release
  *     the spinlock and restore the interrupt state as it was prior to the
  *     previous call to enter_critical_section().
  *
  *   If thread-specific IRQ counter is not enabled:
+ *
  *     This function is equivalent to up_irq_restore().
  *
  * Input Parameters: