ARM A53未调用IRQ处理程序

Question

我正在测试GIC和ARM A53连接。我可以看到GIC正在转发IRQ请求，而ARM核心已收到它（在ISR reg中显示）。 但是，我的IRQ处理程序没有被调用。这是我如何注册它..

void main () {
  ...
  __enable_irq();
  ...
}
__irq void irqHandler(void)
{
  printf("Hello from the IRQ handler\n");
  ...
}