/* This function is meant to be used by either the SW manual IRQ raising or by HW which wants the IRQ to be raised in one delta cycle from now  */
void hw_irq_ctrl_set_irq(unsigned int irq)
/* This function is meant to be used by either the SW manual IRQ raising or by HW which wants the IRQ to be raised in one delta cycle from now  */
void hw_irq_ctrl_set_irq(unsigned int irq)
{
	hw_irq_ctrl_irq_raise_prefix(irq);
	if ((irqs_locked == false) || (lock_ignore)) {
		irq_ctrl_timer = nsi_hws_get_time();
		nsi_hws_find_next_event();
	}
}