pfault_interrupt
rc = register_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);
unregister_external_irq(EXT_IRQ_CP_SERVICE, pfault_interrupt);