highbank_cpuidle_device 115 arch/arm/mach-highbank/highbank.c static struct platform_device highbank_cpuidle_device = { highbank_cpuidle_device 155 arch/arm/mach-highbank/highbank.c platform_device_register(&highbank_cpuidle_device);