void lockup_detector_reconfigure(void);
 
 /**
- * touch_nmi_watchdog - restart NMI watchdog timeout.
+ * touch_nmi_watchdog - manually reset the hardlockup watchdog timeout.
  *
- * If the architecture supports the NMI watchdog, touch_nmi_watchdog()
- * may be used to reset the timeout - for code which intentionally
- * disables interrupts for a long time. This call is stateless.
+ * If we support detecting hardlockups, touch_nmi_watchdog() may be
+ * used to pet the watchdog (reset the timeout) - for code which
+ * intentionally disables interrupts for a long time. This call is stateless.
+ *
+ * Though this function has "nmi" in the name, the hardlockup watchdog might
+ * not be backed by NMIs. This function will likely be renamed to
+ * touch_hardlockup_watchdog() in the future.
  */
 static inline void touch_nmi_watchdog(void)
 {
+       /*
+        * Pass on to the hardlockup detector selected via CONFIG_. Note that
+        * the hardlockup detector may not be arch-specific nor using NMIs
+        * and the arch_touch_nmi_watchdog() function will likely be renamed
+        * in the future.
+        */
        arch_touch_nmi_watchdog();
+
+       /*
+        * Touching the hardlock detector implicitly resets the
+        * softlockup detector too
+        */
        touch_softlockup_watchdog();
 }