ppc440epx 中断使用问题

oysr

最近在看linux驱动编程的资料，找了块PPC440EPx的开发板在调试，将一片单片机外挂到PPC440EPX的EBC外部总线上，单片机每隔
1秒向EPPC440EPx的外部中断4发出中断请求，PPC440EPX收到中断请求后通过EBC接口与单片机交互数据。
     这两天在写测试驱动程序，程序中调用request_irq()函数来向linux内核申请中断，但不知外部中断4的中断号是多少，我在linux内核里搜索
了半天也没找到，好像不象ARM内核那么容易找到。不知哪位大侠能给点帮助，先谢谢了。