Fix formatting

This commit is contained in:
Dan Halbert 2021-09-13 19:12:21 -04:00 committed by GitHub
parent e5290a2886
commit 650ce17c0d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -238,7 +238,7 @@ void port_interrupt_after_ticks(uint32_t ticks) {
void port_idle_until_interrupt(void) { void port_idle_until_interrupt(void) {
common_hal_mcu_disable_interrupts(); common_hal_mcu_disable_interrupts();
if (!background_callback_pending()) { if (!background_callback_pending()) {
asm volatile ("dsb 0xF":::"memory"); asm volatile ("dsb 0xF" ::: "memory");
__wfi(); __wfi();
} }
common_hal_mcu_enable_interrupts(); common_hal_mcu_enable_interrupts();