diff options
Diffstat (limited to 'firmware/kernel.c')
-rw-r--r-- | firmware/kernel.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/firmware/kernel.c b/firmware/kernel.c index 85dca37b84..c5edacabec 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c | |||
@@ -25,7 +25,7 @@ | |||
25 | #include "system.h" | 25 | #include "system.h" |
26 | #include "panic.h" | 26 | #include "panic.h" |
27 | 27 | ||
28 | #if (CONFIG_CPU != PP5020) || !defined(BOOTLOADER) | 28 | #if ((CONFIG_CPU != PP5020) && (CONFIG_CPU != PP5002)) || !defined(BOOTLOADER) |
29 | long current_tick = 0; | 29 | long current_tick = 0; |
30 | #endif | 30 | #endif |
31 | 31 | ||
@@ -344,7 +344,7 @@ void tick_start(unsigned int interval_in_ms) | |||
344 | IMR0 |= (1<<2); | 344 | IMR0 |= (1<<2); |
345 | } | 345 | } |
346 | 346 | ||
347 | #elif CONFIG_CPU == PP5020 | 347 | #elif (CONFIG_CPU == PP5002) || (CONFIG_CPU == PP5020) |
348 | 348 | ||
349 | #ifndef BOOTLOADER | 349 | #ifndef BOOTLOADER |
350 | void TIMER1(void) | 350 | void TIMER1(void) |