1 /*
2  * Copyright (c) 2018 Lexmark International, Inc.
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #ifndef __DT_BINDING_ARM_GIC_H
7 #define __DT_BINDING_ARM_GIC_H
8 
9 #include <sys/util_macro.h>
10 
11 /* CPU Interrupt numbers */
12 #define	GIC_INT_VIRT_MAINT		25
13 #define	GIC_INT_HYP_TIMER		26
14 #define	GIC_INT_VIRT_TIMER		27
15 #define	GIC_INT_LEGACY_FIQ		28
16 #define	GIC_INT_PHYS_TIMER		29
17 #define	GIC_INT_NS_PHYS_TIMER	30
18 #define	GIC_INT_LEGACY_IRQ		31
19 
20 /* BIT(0) reserved for IRQ_ZERO_LATENCY */
21 #define	IRQ_TYPE_LEVEL		BIT(1)
22 #define	IRQ_TYPE_EDGE		BIT(2)
23 
24 #define	GIC_SPI			0x0
25 #define	GIC_PPI			0x1
26 
27 #define IRQ_DEFAULT_PRIORITY	0xa0
28 
29 #endif
30