1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2016 ARM Limited, All Rights Reserved.
4 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 */
6
7#ifndef __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H
8#define __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H
9
10#include <linux/fwnode.h>
11#include <linux/cpumask.h>
12#include <linux/irqdomain.h>
13
14struct partition_affinity {
15 cpumask_t mask;
16 void *partition_id;
17};
18
19struct partition_desc;
20
21#ifdef CONFIG_PARTITION_PERCPU
22int partition_translate_id(struct partition_desc *desc, void *partition_id);
23struct partition_desc *partition_create_desc(struct fwnode_handle *fwnode,
24 struct partition_affinity *parts,
25 int nr_parts,
26 int chained_irq,
27 const struct irq_domain_ops *ops);
28struct irq_domain *partition_get_domain(struct partition_desc *dsc);
29#else
30static inline int partition_translate_id(struct partition_desc *desc,
31 void *partition_id)
32{
33 return -EINVAL;
34}
35
36static inline
37struct partition_desc *partition_create_desc(struct fwnode_handle *fwnode,
38 struct partition_affinity *parts,
39 int nr_parts,
40 int chained_irq,
41 const struct irq_domain_ops *ops)
42{
43 return NULL;
44}
45
46static inline
47struct irq_domain *partition_get_domain(struct partition_desc *dsc)
48{
49 return NULL;
50}
51#endif
52
53#endif /* __LINUX_IRQCHIP_IRQ_PARTITION_PERCPU_H */
54

source code of linux/include/linux/irqchip/irq-partition-percpu.h