1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2002 ARM Limited, All Rights Reserved.
4 */
5
6#ifndef _IRQ_GIC_COMMON_H
7#define _IRQ_GIC_COMMON_H
8
9#include <linux/of.h>
10#include <linux/irqdomain.h>
11#include <linux/irqchip/arm-gic-common.h>
12
13struct gic_quirk {
14 const char *desc;
15 const char *compatible;
16 const char *property;
17 bool (*init)(void *data);
18 u32 iidr;
19 u32 mask;
20};
21
22int gic_configure_irq(unsigned int irq, unsigned int type,
23 void __iomem *base, void (*sync_access)(void));
24void gic_dist_config(void __iomem *base, int gic_irqs,
25 void (*sync_access)(void));
26void gic_cpu_config(void __iomem *base, int nr, void (*sync_access)(void));
27void gic_enable_quirks(u32 iidr, const struct gic_quirk *quirks,
28 void *data);
29void gic_enable_of_quirks(const struct device_node *np,
30 const struct gic_quirk *quirks, void *data);
31
32#define RDIST_FLAGS_PROPBASE_NEEDS_FLUSHING (1 << 0)
33#define RDIST_FLAGS_RD_TABLES_PREALLOCATED (1 << 1)
34#define RDIST_FLAGS_FORCE_NON_SHAREABLE (1 << 2)
35
36#endif /* _IRQ_GIC_COMMON_H */
37

source code of linux/drivers/irqchip/irq-gic-common.h