diff --git a/arch/mips/include/mips32/irq.h b/arch/mips/include/mips32/irq.h
index 27f55beba52e9a0f467b36c6e53daa239c2c516d..ed6cd37f644fa943419df11260e5343c198ffbd2 100755
--- a/arch/mips/include/mips32/irq.h
+++ b/arch/mips/include/mips32/irq.h
@@ -414,7 +414,7 @@ static inline void cp0_putstatus(irqstate_t status)
 
 static inline uint32_t cp0_getcause(void)
 {
-  register irqstate_t cause;
+  register uint32_t cause;
   __asm__ __volatile__
     (
       "\t.set    push\n"
diff --git a/arch/mips/include/pic32mx/irq.h b/arch/mips/include/pic32mx/irq.h
index e4c39e36ea3b8ac61c5b2d97fa0b23312ed09c44..24ccef8670fe94ed6f68278f7ee3296d273d388d 100755
--- a/arch/mips/include/pic32mx/irq.h
+++ b/arch/mips/include/pic32mx/irq.h
@@ -83,14 +83,14 @@
 
 static inline uint32_t cp0_getintctl(void)
 {
-  register irqstate_t ebase;
+  register uint32_t intctl;
   __asm__ __volatile__
     (
       "\t.set    push\n"
       "\t.set    noat\n"
       "\t mfc0   %0, $12, 1\n"           /* Get CP0 IntCtl register */
       "\t.set    pop\n"
-      : "=r" (ebase)
+      : "=r" (intctl)
       :
       : "memory"
     );
@@ -112,7 +112,7 @@ static inline uint32_t cp0_getintctl(void)
  *
  ****************************************************************************/
 
-static inline void cp0_putintctl(uint32_t ebase)
+static inline void cp0_putintctl(uint32_t intctl)
 {
   __asm__ __volatile__
     (
@@ -122,7 +122,7 @@ static inline void cp0_putintctl(uint32_t ebase)
       "\tmtc0   %0, $12, 1\n"             /* Set the IntCtl to the provided value */
       "\t.set    pop\n"
       : 
-      : "r" (ebase)
+      : "r" (intctl)
       : "memory"
     );
 }
@@ -143,7 +143,7 @@ static inline void cp0_putintctl(uint32_t ebase)
 
 static inline uint32_t cp0_getebase(void)
 {
-  register irqstate_t ebase;
+  register uint32_t ebase;
   __asm__ __volatile__
     (
       "\t.set    push\n"