Searched refs:domainr (Results 1 – 1 of 1) sorted by relevance
| /rk3399_ARM-atf/drivers/arm/gicv5/ |
| H A D | gicv5_main.c | 184 uint64_t domainr = 0U; in gicv5_enable_ppis() local
187 write_icc_ppi_domainr(domainr, PPI_PMUIRQ, INTDMN_NS); in gicv5_enable_ppis()
188 write_icc_ppi_domainr(domainr, PPI_GICMNT, INTDMN_NS); in gicv5_enable_ppis()
189 write_icc_ppi_domainr(domainr, PPI_CNTHP, INTDMN_NS); in gicv5_enable_ppis()
190 write_icc_ppi_domainr(domainr, PPI_CNTV, INTDMN_NS); in gicv5_enable_ppis()
191 write_icc_ppi_domainr(domainr, PPI_CNTPS, INTDMN_NS); in gicv5_enable_ppis()
192 write_icc_ppi_domainr(domainr, PPI_CNTP, INTDMN_NS); in gicv5_enable_ppis()
194 write_icc_ppi_domainr0_el3(domainr); in gicv5_enable_ppis()
|