Skip to content

Commit

Permalink
Merge pull request #5341 from urish/patch-1
Browse files Browse the repository at this point in the history
Enable WFI for raspberrypi port
  • Loading branch information
microdev1 authored Sep 14, 2021
2 parents ec179d2 + 650ce17 commit 8520c43
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ports/raspberrypi/supervisor/port.c
Original file line number Diff line number Diff line change
Expand Up @@ -238,8 +238,8 @@ void port_interrupt_after_ticks(uint32_t ticks) {
void port_idle_until_interrupt(void) {
common_hal_mcu_disable_interrupts();
if (!background_callback_pending()) {
// asm volatile ("dsb 0xF":::"memory");
// __wfi();
asm volatile ("dsb 0xF" ::: "memory");
__wfi();
}
common_hal_mcu_enable_interrupts();
}
Expand Down

0 comments on commit 8520c43

Please sign in to comment.