Line data    Source code

       1           0 : /*
       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 <zephyr/dt-bindings/dt-util.h>
      10             : 
      11             : /* CPU Interrupt numbers */
      12           0 : #define GIC_INT_VIRT_MAINT              25
      13           0 : #define GIC_INT_HYP_TIMER               26
      14           0 : #define GIC_INT_VIRT_TIMER              27
      15           0 : #define GIC_INT_LEGACY_FIQ              28
      16           0 : #define GIC_INT_PHYS_TIMER              29
      17           0 : #define GIC_INT_NS_PHYS_TIMER   30
      18           0 : #define GIC_INT_LEGACY_IRQ              31
      19             : 
      20             : /* BIT(0) reserved for IRQ_ZERO_LATENCY */
      21           0 : #define IRQ_TYPE_LEVEL          BIT(1)
      22           0 : #define IRQ_TYPE_EDGE           BIT(2)
      23             : 
      24           0 : #define GIC_SPI                 0x0
      25           0 : #define GIC_PPI                 0x1
      26             : 
      27           0 : #define IRQ_DEFAULT_PRIORITY    0xa0
      28             : 
      29             : #endif