remove_sei_domain  433 drivers/irqchip/irq-mvebu-sei.c 		goto remove_sei_domain;
remove_sei_domain  473 drivers/irqchip/irq-mvebu-sei.c remove_sei_domain: