Lines Matching defs:sctlr_elx
51 u_register_t sctlr_elx, actlr_elx;
64 sctlr_elx = (EP_GET_EE(ep->h.attr) != 0U) ? SCTLR_EE_BIT : 0UL;
66 sctlr_elx |= SCTLR_EL1_RES1;
81 sctlr_elx |= SCTLR_AARCH32_EL1_RES1 | SCTLR_CP15BEN_BIT
90 sctlr_elx |= SCTLR_IESB_BIT;
93 write_ctx_reg(get_el1_sysregs_ctx(ctx), CTX_SCTLR_EL1, sctlr_elx);
929 u_register_t sctlr_elx, scr_el3;
972 sctlr_elx = read_ctx_reg(get_el1_sysregs_ctx(ctx),
974 sctlr_elx &= SCTLR_EE_BIT;
975 sctlr_elx |= SCTLR_EL2_RES1;
982 sctlr_elx |= SCTLR_IESB_BIT;
984 write_sctlr_el2(sctlr_elx);