Searched refs:ICC_PPI_DOMAINR3_EL3 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/include/arch/aarch64/ | ||
| H A D | arch_helpers.h | 595 DEFINE_RENAME_SYSREG_RW_FUNCS(icc_ppi_domainr3_el3, ICC_PPI_DOMAINR3_EL3) |
| H A D | arch.h | 99 #define ICC_PPI_DOMAINR3_EL3 S3_6_C12_C8_7 macro |