1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * This header provides constants for the ARM GIC.
4  */
5 
6 #ifndef _DT_BINDINGS_INTERRUPT_CONTROLLER_ARM_GIC_H
7 #define _DT_BINDINGS_INTERRUPT_CONTROLLER_ARM_GIC_H
8 
9 #include <dt-bindings/interrupt-controller/irq.h>
10 
11 /* interrupt specifier cell 0 */
12 
13 #define GIC_SPI 0
14 #define GIC_PPI 1
15 
16 /*
17  * Interrupt specifier cell 2.
18  * The flags in irq.h are valid, plus those below.
19  */
20 #define GIC_CPU_MASK_RAW(x) ((x) << 8)
21 #define GIC_CPU_MASK_SIMPLE(num) GIC_CPU_MASK_RAW((1 << (num)) - 1)
22 
23 #endif
24