diff --git a/arch/c5471/include/irq.h b/arch/c5471/include/irq.h
index 1f9f262ff5..1626e87e44 100644
--- a/arch/c5471/include/irq.h
+++ b/arch/c5471/include/irq.h
@@ -52,8 +52,8 @@
  *
  * Context is always saved/restored in the same way:
  *
- *   (1) stmia rx, {r0-r3, r12}
- *   (2) stmia rx, (cpsr, r4-r11, r13-r14}
+ *   (1) stmia rx, {r0-r14}
+ *   (2) then the PC and CPSR
  *
  * This results in the following set of indices that
  * can be used to access individual registers in the