Searched refs:DACR32_EL2 (Results 1 – 3 of 3) sorted by relevance
196 sysreg[DACR32_EL2] = read_sysreg(dacr32_el2); in __sysreg32_save_state()218 write_sysreg(sysreg[DACR32_EL2], dacr32_el2); in __sysreg32_restore_state()
148 DACR32_EL2, /* Domain Access Control Register */ enumerator167 #define c3_DACR (DACR32_EL2 * 2)/* Domain Access Control Register */
114 case DACR32_EL2: return read_sysreg_s(SYS_DACR32_EL2); in vcpu_read_sys_reg()157 case DACR32_EL2: write_sysreg_s(val, SYS_DACR32_EL2); return; in vcpu_write_sys_reg()1457 { SYS_DESC(SYS_DACR32_EL2), NULL, reset_unknown, DACR32_EL2 },
