mvebu_sei_driver  500 drivers/irqchip/irq-mvebu-sei.c static struct platform_driver mvebu_sei_driver = {
mvebu_sei_driver  507 drivers/irqchip/irq-mvebu-sei.c builtin_platform_driver(mvebu_sei_driver);