void arm_cm_irq_exit(bool reschedule) { if (reschedule) arm_cm_trigger_preempt(); KEVLOG_IRQ_EXIT(__get_IPSR()); }
void arm_cm_irq_exit(bool reschedule) { if (reschedule) arm_cm_trigger_preempt(); KEVLOG_IRQ_EXIT(__get_IPSR()); __enable_irq(); // clear PRIMASK }
void arm_cm_irq_exit(bool reschedule) { target_set_debug_led(1, false); if (reschedule) arm_cm_trigger_preempt(); KEVLOG_IRQ_EXIT(__get_IPSR()); __enable_irq(); // clear PRIMASK }