xilinx_intc.h   16 arch/powerpc/platforms/40x/virtex.c #include <asm/xilinx_intc.h>
xilinx_intc.h   18 arch/powerpc/platforms/44x/virtex.c #include <asm/xilinx_intc.h>