Vectored Interrupt Controller causes stuck in alt_tick()

Hi, I am facing issues when using the Vectored Interrupt Controller with the Nios. Sometimes I experience that my Nios seems to crash and when pressing pause during debug I find that the system gets ...