djsundog
/
circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Enable WFI for raspberrypi port 

See #5331 for details
This commit is contained in:
Uri Shaked 2021-09-14 01:09:15 +03:00 committed by GitHub
parent 9b2d8ade2f
commit e5290a2886
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports/raspberrypi/supervisor/port.c
View File

@ -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();
}