dbx500_cpuidle_plat_driver  118 drivers/cpuidle/cpuidle-ux500.c static struct platform_driver dbx500_cpuidle_plat_driver = {
dbx500_cpuidle_plat_driver  124 drivers/cpuidle/cpuidle-ux500.c builtin_platform_driver(dbx500_cpuidle_plat_driver);