/* HW models shall call this function to "awake the CPU" when they are raising an interrupt  */
void posix_interrupt_raised(void)
/* HW models shall call this function to "awake the CPU" when they are raising an interrupt  */
void posix_interrupt_raised(void)
{
	nce_wake_cpu(nce_st);
}