THIN_INTERRUPT     54 arch/s390/kernel/irq.c 	{.irq = THIN_INTERRUPT, .name = "AIO"},
THIN_INTERRUPT    115 drivers/s390/cio/airq.c 	irq_set_chip_and_handler(THIN_INTERRUPT,
THIN_INTERRUPT    117 drivers/s390/cio/airq.c 	setup_irq(THIN_INTERRUPT, &airq_interrupt);