/* Thru this function the IRQ controller can raise an immediate interrupt which will interrupt the SW itself (this function should only be called from the HW model code, from SW threads)  */
void posix_irq_handler_im_from_sw(void)
/* Thru this function the IRQ controller can raise an immediate interrupt which will interrupt the SW itself (this function should only be called from the HW model code, from SW threads)  */
void posix_irq_handler_im_from_sw(void)
{
	if (hw_irq_ctrl_get_highest_prio_irq(CONFIG_NATIVE_SIMULATOR_MCU_N) != -1) {
		if (!posix_is_cpu_running()) {
			posix_print_error_and_exit("programming error: %s "
					"called from a HW model thread\n",
					__func__);
		}
		posix_irq_handler();
	}
}