Symbol: DIO_IPL
drivers/dio/dio.c
249
dev->ipl = DIO_IPL(va);
drivers/tty/serial/8250/8250_hp300.c
137
port.irq = DIO_IPL(pa + DIO_VIRADDRBASE);