Searched refs:GIC_PPI_BASE (Results 1 – 2 of 2) sorted by relevance
54 #define GIC_PPI_BASE U(16) macro58 #define GIC_PPI_TO_ITNUM(x) ((x) + GIC_PPI_BASE)
689 GIC_PPI_BASE))); in add_optee_dt_node()697 itr_id = CFG_CORE_ASYNC_NOTIF_GIC_INTID - GIC_PPI_BASE; in add_optee_dt_node()