9
0
Fork 0

Misc PIC32 fixes

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4082 7fd9a85b-ad96-42d3-883c-3090e2eb8679
This commit is contained in:
patacongo 2011-11-09 12:35:24 +00:00
parent ef30e0aef2
commit b9c781e695
2 changed files with 4 additions and 11 deletions

View File

@ -95,7 +95,7 @@ static inline uint32_t cp0_getintctl(void)
: "memory"
);
return cause;
return intctl;
}
/****************************************************************************
@ -155,7 +155,7 @@ static inline uint32_t cp0_getebase(void)
: "memory"
);
return cause;
return ebase;
}
/****************************************************************************

View File

@ -39,6 +39,8 @@
#include <nuttx/config.h>
#include <debug.h>
#include <stdint.h>
#include <assert.h>
@ -83,14 +85,6 @@
uint32_t *pic32mx_decodeirq(uint32_t *regs)
{
#ifdef CONFIG_SUPPRESS_INTERRUPTS
up_ledon(LED_INIRQ);
PANIC(OSERR_ERREXCEPTION);
up_ledoff(LED_INIRQ); /* Won't get here */
return regs;
#else
uint32_t *savestate;
uint32_t regval;
int irq;
@ -170,5 +164,4 @@ uint32_t *pic32mx_decodeirq(uint32_t *regs)
}
return regs;
#endif
}