diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 16ca041dba2..32cad9675d6 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -507,13 +507,13 @@
         This structures represents the saved context of a thread.
       </li>
       <li>
-        <code>irqstate_t irqsave(void)</code>:
+        <code>irqstate_t up_irq_save(void)</code>:
         Used to disable all interrupts.
         In the case of multi-CPU platforms, this function disables interrupts on CPUs.
       </li>
       <li>
-        <code>void irqrestore(irqstate_t flags)</code>:
-        Used to restore interrupt enables to the same state as before <code>irqsave()</code> was called.
+        <code>void up_irq_restore(irqstate_t flags)</code>:
+        Used to restore interrupt enables to the same state as before <code>up_irq_save()</code> was called.
       </li>
     </ul>
     <p>
@@ -2195,7 +2195,7 @@ The system can be re-made subsequently by just typing <code>make</code>.
 <p>
   This function implements enabling of the device specified by 'irq'
   at the interrupt controller level if supported by the architecture
-  (irqsave() supports the global level, the device level is hardware
+  (up_irq_save() supports the global level, the device level is hardware
   specific).
 <p>
   If the architecture does not support <code>up_disable_irq</code>,
@@ -2215,7 +2215,7 @@ The system can be re-made subsequently by just typing <code>make</code>.
 <p><b>Description</b>.
   This function implements disabling of the device specified by 'irq'
   at the interrupt controller level if supported by the architecture
-  (irqrestore() supports the global level, the device level is hardware
+  (up_irq_restore() supports the global level, the device level is hardware
   specific).
 </p>
 <p>