How-To Debug
Check Hardware Connection

    *
      Interrupt Source to INTC
    *
      INTC to Processor

Check Registers

在调试时检查寄存器的值是比较方便的，因此当程序没有如预期中地执行中断程序的时候，我们可以先检查一下各个关键寄存器的值。

    *
      INTC –> ISR (Interrupt Status Register) - Offset 0x0

每一位代表一个接入的中断源。如果某一位是1，说明中断已经产生。如果没有进入中断程序，那么可能中断程序的注册有问题，检查 XIntc_RegisterHandler函数。如果都没有1，那么说明中断信号没有到达中断控制器。继续检查下面的寄存器。

    *
      Interrupt Source Peripheral –> Status Register

如果INTC没有得到中断信号，那么就首先检查中断源设备有没有产生中断信号。通常设备都会在状态寄存器标志中断状态。如果设备已经产生中断，而INTC 没有中断，则问题可能出在硬件信号连接、中断控制器使能、中断源使能信号上。如果设备没有产生中断，那么问题可能处在设备配置比如设备中断使能，或者根本还没达到设备的中断条件。
Check Signals

    *
      Interrupt signal of interrupt source
    *
      Interrupt signal of INTC