/* Note that this will interrupt immediately if the interrupt is not masked and IRQs are not locked, and this interrupt has higher priority than a possibly currently running interrupt  */
void posix_sw_set_pending_IRQ(unsigned int IRQn)
/* Note that this will interrupt immediately if the interrupt is not masked and IRQs are not locked, and this interrupt has higher priority than a possibly currently running interrupt  */
void posix_sw_set_pending_IRQ(unsigned int IRQn)
{
	hw_irq_ctrl_raise_im_from_sw(CONFIG_NATIVE_SIMULATOR_MCU_N, IRQn);
}