CPACR_EL1
SYS_FIELD_GET(CPACR_EL1, xen, \
sysreg_clear_set(CPACR_EL1, 0, CPACR_EL1_E0POE);
write_sysreg(read_sysreg(CPACR_EL1) | CPACR_EL1_ZEN_EL1EN, CPACR_EL1);
write_sysreg(read_sysreg(CPACR_EL1) | CPACR_EL1_SMEN_EL1EN, CPACR_EL1);
write_sysreg(read_sysreg(CPACR_EL1) | enable, CPACR_EL1);
if (!(SYS_FIELD_GET(CPACR_EL1, FPEN, cptr) & BIT(0)))
if (!(SYS_FIELD_GET(CPACR_EL1, ZEN, cptr) & BIT(0)))
ctxt_sys_reg(ctxt, CPACR_EL1) = read_sysreg_el1(SYS_CPACR);
write_sysreg_el1(ctxt_sys_reg(ctxt, CPACR_EL1), SYS_CPACR);
case CPACR_EL1:
MAPPED_EL2_SYSREG(CPTR_EL2, CPACR_EL1,
case CPACR_EL1: val = read_sysreg_s(SYS_CPACR_EL12); break;
case CPACR_EL1: write_sysreg_s(val, SYS_CPACR_EL12); break;
{ SYS_DESC(SYS_CPACR_EL1), NULL, reset_val, CPACR_EL1, 0 },
MAPPED_EL2_SYSREG(CPTR_EL2, CPACR_EL1);