Searched refs:DACR32_EL2 (Results 1 – 3 of 3) sorted by relevance
155 sysreg[DACR32_EL2] = read_sysreg(dacr32_el2); in __sysreg32_save_state()180 write_sysreg(sysreg[DACR32_EL2], dacr32_el2); in __sysreg32_restore_state()
141 DACR32_EL2, /* Domain Access Control Register */ enumerator160 #define c3_DACR (DACR32_EL2 * 2)/* Domain Access Control Register */
1105 NULL, reset_unknown, DACR32_EL2 },