Searched refs:PPI_GICMNT (Results 1 – 2 of 2) sorted by relevance
36 #define PPI_GICMNT 25 macro
188 write_icc_ppi_domainr(domainr, PPI_GICMNT, INTDMN_NS); in gicv5_enable_ppis()