sysreg_clear_set
sysreg_clear_set(cpacr_el1, CPACR_EL1_ZEN_EL0EN, 0);
sysreg_clear_set(cpacr_el1, 0, CPACR_EL1_ZEN_EL0EN);
sysreg_clear_set(cpacr_el1, CPACR_EL1_SMEN_EL0EN, 0);
sysreg_clear_set(cpacr_el1, 0, CPACR_EL1_SMEN_EL0EN);
sysreg_clear_set(sctlr_el1, 0, (SCTLR_ELx_ENIA | SCTLR_ELx_ENIB |
sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_CP15BEN);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_CP15BEN, 0);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_SED, 0);
sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_SED);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_UCT, 0);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_UCI, 0);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_UCT, 0);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_SPAN, 0);
sysreg_clear_set(tcr_el1, 0, TCR_EL1_E0PD1);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_EnALS, SCTLR_EL1_EnALS);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_EnASR, 0);
sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_BT0 | SCTLR_EL1_BT1);
sysreg_clear_set(sctlr_el1, 0, SCTLR_ELx_ATA | SCTLR_EL1_ATA0);
sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_TIDCP);
sysreg_clear_set(sctlr_el1, 0, SCTLR_EL1_MSCEn);
sysreg_clear_set(REG_TCR2_EL1, 0, TCR2_EL1_E0POE);
sysreg_clear_set(CPACR_EL1, 0, CPACR_EL1_E0POE);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_TCSO_MASK,
sysreg_clear_set(mair_el1,
sysreg_clear_set(sctlr_el1, SCTLR_EL1_TCF_MASK,
sysreg_clear_set(tcr_el1, TCR_EL1_T1SZ_MASK, TCR_T1SZ(va_bits));
sysreg_clear_set(cntkctl_el1, ARCH_TIMER_USR_VCT_ACCESS_EN, 0);
sysreg_clear_set(cntkctl_el1, 0, ARCH_TIMER_USR_VCT_ACCESS_EN);
sysreg_clear_set(sctlr_el1, SCTLR_USER_MASK & ~SCTLR_ELx_ENIA, sctlr);
sysreg_clear_set(sctlr_el1, 0, SCTLR_ELx_DSSBS);
sysreg_clear_set(cnthctl_el2, 0, CNTHCTL_ECV);
sysreg_clear_set(cnthctl_el2, clr, set);
sysreg_clear_set(cnthctl_el2, clr, set);
sysreg_clear_set(cnthctl_el2, clr, set);
sysreg_clear_set(sctlr_el1, SCTLR_EL1_TCF_MASK,
sysreg_clear_set(cntp_ctl_el0, 0, ARCH_TIMER_CTRL_IT_MASK);
sysreg_clear_set(cntv_ctl_el0, 0, ARCH_TIMER_CTRL_IT_MASK);
sysreg_clear_set(hcr_el2, HCR_EL2_TGE | HCR_EL2_VM, 0);
sysreg_clear_set(tcr_el1, TCR_HA, 0);
sysreg_clear_set(tcr_el1, 0, TCR_HA);
sysreg_clear_set(hcr_el2, HCR_EL2_AMO | HCR_EL2_TGE, 0);