diff options
-rw-r--r-- | firmware/thread.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/firmware/thread.c b/firmware/thread.c index d3031d55e3..54d966ffe5 100644 --- a/firmware/thread.c +++ b/firmware/thread.c | |||
@@ -752,7 +752,10 @@ static void core_thread_init(unsigned int core) | |||
752 | static inline void core_sleep(void) | 752 | static inline void core_sleep(void) |
753 | { | 753 | { |
754 | asm volatile ( | 754 | asm volatile ( |
755 | "mcr p15, 0, %0, c7, c0, 4" /* Wait for interrupt */ | 755 | "mcr p15, 0, %0, c7, c0, 4 \n" /* Wait for interrupt */ |
756 | #if CONFIG_CPU == IMX31L | ||
757 | "nop\n nop\n nop\n nop\n nop\n" /* Clean out the pipes */ | ||
758 | #endif | ||
756 | : : "r"(0) | 759 | : : "r"(0) |
757 | ); | 760 | ); |
758 | enable_irq(); | 761 | enable_irq(); |