sdei_driver      1070 drivers/firmware/arm_sdei.c static struct platform_driver sdei_driver = {
sdei_driver      1113 drivers/firmware/arm_sdei.c 	pdev = platform_device_register_simple(sdei_driver.driver.name, 0, NULL,
sdei_driver      1124 drivers/firmware/arm_sdei.c 		platform_driver_register(&sdei_driver);