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