Lines Matching refs:sctlr
101 u64 hcr, sctlr, tcr, tg, ps, ia_bits, ttbr;
116 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1);
124 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2);
167 if (!(sctlr & SCTLR_ELx_M))
180 wi->be = sctlr & SCTLR_ELx_EE;
464 u64 sctlr;
486 config->sctlr = read_sysreg_el1(SYS_SCTLR);
514 write_sysreg_el1(config->sctlr, SYS_SCTLR);
779 u64 mair, sctlr;
791 sctlr = (regime == TR_EL10 ?
796 if (!(sctlr & SCTLR_EL1_C) && !MEMATTR_IS_DEVICE(mair))
811 u64 sctlr;
820 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1);
822 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2);
824 return sctlr & SCTLR_EL1_EPAN;