关于ARM的中断问题

[sivacohan]

最近在玩Raspberry Pi，目前在系统上装了Arch。（官方网站 http://www.armlinuxarm.org ）
cat /proc/interrupts
之后发现这里面有一个东西叫ARMCTRL。之前对arm基本没什么了解，这是什么中断处理器（或者芯片？）目前X86的不都是IO-APIC-edge 吗？
求关于ARMCTRL的相关资料。