Searched refs:write_icc_ppi_domainr (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/drivers/arm/gicv5/ |
| H A D | gicv5_main.c | 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()
|
| /rk3399_ARM-atf/include/drivers/arm/ |
| H A D | gicv5.h | 89 #define write_icc_ppi_domainr(_var, _ppi_id, _value) \ macro
|