Searched refs:SYS_DACR32_EL2 (Results 1 – 2 of 2) sorted by relevance
99 case DACR32_EL2: *val = read_sysreg_s(SYS_DACR32_EL2); break; in __vcpu_read_sys_reg_from_cpu()139 case DACR32_EL2: write_sysreg_s(val, SYS_DACR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()1780 { SYS_DESC(SYS_DACR32_EL2), NULL, reset_unknown, DACR32_EL2 },
469 #define SYS_DACR32_EL2 sys_reg(3, 4, 3, 0, 0) macro
