0001
0002
0003
0004
0005
0006
0007 #include <linux/platform_device.h>
0008 #include "irqs.h"
0009
0010 static struct resource pmu_resource = {
0011 .start = IRQ_IOP32X_CORE_PMU,
0012 .end = IRQ_IOP32X_CORE_PMU,
0013 .flags = IORESOURCE_IRQ,
0014 };
0015
0016 static struct platform_device pmu_device = {
0017 .name = "xscale-pmu",
0018 .id = -1,
0019 .resource = &pmu_resource,
0020 .num_resources = 1,
0021 };
0022
0023 static int __init iop3xx_pmu_init(void)
0024 {
0025 platform_device_register(&pmu_device);
0026 return 0;
0027 }
0028
0029 arch_initcall(iop3xx_pmu_init);