Made requested changes

This commit is contained in:
DavePutz 2020-07-06 21:40:38 -05:00 committed by GitHub
parent ac33c3fe2c
commit ab4a453006
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -507,7 +507,7 @@ void port_interrupt_after_ticks(uint32_t ticks) {
return; return;
} }
#ifdef SAMD21 #ifdef SAMD21
if (hold_interrupt == true) { if (hold_interrupt) {
return; return;
} }
#endif #endif
@ -525,7 +525,7 @@ void port_sleep_until_interrupt(void) {
} }
#endif #endif
common_hal_mcu_disable_interrupts(); common_hal_mcu_disable_interrupts();
if (!tud_task_event_ready()) { if (!tud_task_event_ready() && !hold_interrupt) {
__DSB(); __DSB();
__WFI(); __WFI();
} }