Symbol: pfault_interrupt
arch/s390/mm/pfault.c
231
rc = register_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);
arch/s390/mm/pfault.c
243
unregister_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);