Skip to content

Enable WFI for raspberrypi port #5341

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
microdev1 merged 2 commits into from
Sep 14, 2021
Merged

Enable WFI for raspberrypi port #5341

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e5290a2
Enable WFI for raspberrypi port
urish Sep 13, 2021
650ce17
Fix formatting
dhalbert Sep 13, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Enable WFI for raspberrypi port 
See #5331 for details
  • Loading branch information
@urish
urish authored Sep 13, 2021
commit e5290a28864aadf6df4a6c6b31de11441584bc55
4 changes: 2 additions & 2 deletions ports/raspberrypi/supervisor/port.c
View file
Open in desktop
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