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

Merge pull request #5341 from urish/patch-1

Browse Source 
Enable WFI for raspberrypi port
This commit is contained in:
microDev 2021-09-14 22:10:02 +05:30 committed by GitHub
commit 8520c430a7
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();
}