/* If the enabled interrupt is pending, it will immediately vector to its interrupt handler and continue (maybe with some swap() before)  */
void hw_irq_ctrl_enable_irq(unsigned int irq)
/* If the enabled interrupt is pending, it will immediately vector to its interrupt handler and continue (maybe with some swap() before)  */
void hw_irq_ctrl_enable_irq(unsigned int irq)
{
	irq_mask |= ((uint64_t)1<<irq);
	if (irq_premask & ((uint64_t)1<<irq)) {
		hw_irq_ctrl_raise_im_from_sw(irq);
	}
}