diff options
Diffstat (limited to 'ports/ARM7/chcore.h')
| -rw-r--r-- | ports/ARM7/chcore.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/ARM7/chcore.h b/ports/ARM7/chcore.h index 1a949ad79..cd6d40590 100644 --- a/ports/ARM7/chcore.h +++ b/ports/ARM7/chcore.h @@ -31,6 +31,7 @@ #ifndef ENABLE_WFI_IDLE
#define ENABLE_WFI_IDLE 0
#endif
+#include <wfi.h>
/**
* Macro defining the ARM7 architecture.
@@ -265,7 +266,6 @@ typedef struct { extern "C" {
#endif
void port_puts(char *msg);
- void port_wait_for_interrupt(void);
void port_halt(void);
#ifdef THUMB
void _port_lock_thumb(void);
|