Searched refs:PPI_CNTP (Results 1 – 2 of 2) sorted by relevance
31 #define PPI_CNTP 30 macro
192 write_icc_ppi_domainr(domainr, PPI_CNTP, INTDMN_NS); in gicv5_enable_ppis()