/* Call only from SW threads; Should be used with care  */
void hw_irq_ctrl_raise_im_from_sw(unsigned int irq)
/* Call only from SW threads; Should be used with care  */
void hw_irq_ctrl_raise_im_from_sw(unsigned int irq)
{
	hw_irq_ctrl_irq_raise_prefix(irq);
	if (irqs_locked == false) {
		nsif_cpu0_irq_raised_from_sw();
	}
}