1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2016 ARM Limited, All Rights Reserved.
7 #ifndef __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H
8 #define __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H
10 #include <linux/fwnode.h>
11 #include <linux/cpumask_types.h>
12 #include <linux/irqdomain.h>
14 struct partition_affinity {
19 struct partition_desc;
21 #ifdef CONFIG_PARTITION_PERCPU
22 int partition_translate_id(struct partition_desc *desc, void *partition_id);
23 struct partition_desc *partition_create_desc(struct fwnode_handle *fwnode,
24 struct partition_affinity *parts,
27 const struct irq_domain_ops *ops);
28 struct irq_domain *partition_get_domain(struct partition_desc *dsc);
30 static inline int partition_translate_id(struct partition_desc *desc,
37 struct partition_desc *partition_create_desc(struct fwnode_handle *fwnode,
38 struct partition_affinity *parts,
41 const struct irq_domain_ops *ops)
47 struct irq_domain *partition_get_domain(struct partition_desc *dsc)
53 #endif /* __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H */