Searched refs:ICC_SGI1R_EL1_64 (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/include/arch/aarch32/ | ||
| H A D | arch_helpers.h | 289 DEFINE_COPROCR_WRITE_FUNC_64(icc_sgi1r, ICC_SGI1R_EL1_64) |
| H A D | arch.h | 637 #define ICC_SGI1R_EL1_64 p15, 0, c12 macro |