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);