remove_ap_domain  447 drivers/irqchip/irq-mvebu-sei.c 		goto remove_ap_domain;
remove_ap_domain  471 drivers/irqchip/irq-mvebu-sei.c remove_ap_domain: