remove_cp_domain 458 drivers/irqchip/irq-mvebu-sei.c goto remove_cp_domain; remove_cp_domain 469 drivers/irqchip/irq-mvebu-sei.c remove_cp_domain: