xilinx_i8259_setup_cascade   50 arch/powerpc/sysdev/xilinx_intc.c static void __init xilinx_i8259_setup_cascade(void)
xilinx_i8259_setup_cascade   78 arch/powerpc/sysdev/xilinx_intc.c static inline void xilinx_i8259_setup_cascade(void) { return; }