EXT_IRQ_CP_SERVICE
rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE,
rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE,
rc = put_guest_lc(vcpu, EXT_IRQ_CP_SERVICE, (u16 *) __LC_EXT_INT_CODE);
rc = register_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);
unregister_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);
register_external_irq(EXT_IRQ_CP_SERVICE, dasd_ext_handler);
unregister_external_irq(EXT_IRQ_CP_SERVICE, dasd_ext_handler);
rc = register_external_irq(EXT_IRQ_CP_SERVICE, diag_ftp_handler);
unregister_external_irq(EXT_IRQ_CP_SERVICE, diag_ftp_handler);