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