Searched refs:ICC_PPI_DOMAINR0_EL3 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/include/arch/aarch64/ | ||
| H A D | arch_helpers.h | 592 DEFINE_RENAME_SYSREG_RW_FUNCS(icc_ppi_domainr0_el3, ICC_PPI_DOMAINR0_EL3) |
| H A D | arch.h | 96 #define ICC_PPI_DOMAINR0_EL3 S3_6_C12_C8_4 macro |