12 #include <linux/kernel.h>
15 #include <linux/device.h>
18 #include <asm/setup.h>
19 #include <asm/processor.h>
35 #ifdef CONFIG_EXT_SERIAL_IRQ_LEVEL
36 set_intr_level(XIRQ0, NUM2GxICR_LEVEL(CONFIG_EXT_SERIAL_IRQ_LEVEL));
39 #ifdef CONFIG_ETHERNET_IRQ_LEVEL
58 for (extnum = 0; extnum <
NR_XIRQS; extnum++) {
60 case XIRQ_TRIGGER_HILEVEL:
61 case XIRQ_TRIGGER_LOWLEVEL: