DACR32_EL2
__vcpu_assign_sys_reg(vcpu, DACR32_EL2, read_sysreg(dacr32_el2));
write_sysreg(__vcpu_sys_reg(vcpu, DACR32_EL2), dacr32_el2);
case DACR32_EL2:
case DACR32_EL2: val = read_sysreg_s(SYS_DACR32_EL2); break;
case DACR32_EL2: write_sysreg_s(val, SYS_DACR32_EL2); break;
{ SYS_DESC(SYS_DACR32_EL2), undef_access, reset_unknown, DACR32_EL2 },
{ Op1( 0), CRn( 3), CRm( 0), Op2( 0), access_vm_reg, NULL, DACR32_EL2 },