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: