1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * PMU IRQ registration for the iop3xx xscale PMU families.
4 * Copyright (C) 2010 Will Deacon, ARM Ltd.
5 */
6
7#include <linux/platform_device.h>
8#include "irqs.h"
9
10static struct resource pmu_resource = {
11	.start	= IRQ_IOP32X_CORE_PMU,
12	.end	= IRQ_IOP32X_CORE_PMU,
13	.flags	= IORESOURCE_IRQ,
14};
15
16static struct platform_device pmu_device = {
17	.name		= "xscale-pmu",
18	.id		= -1,
19	.resource	= &pmu_resource,
20	.num_resources	= 1,
21};
22
23static int __init iop3xx_pmu_init(void)
24{
25	platform_device_register(&pmu_device);
26	return 0;
27}
28
29arch_initcall(iop3xx_pmu_init);
30