Lines Matching refs:val
37 u64 val;
42 val = CPTR_EL2_DEFAULT;
43 val |= CPTR_EL2_TTA | CPTR_EL2_TZ | CPTR_EL2_TAM;
45 val |= CPTR_EL2_TFP;
49 write_sysreg(val, cptr_el2);
77 u64 val;
85 val = read_sysreg_el1(SYS_TCR);
86 write_sysreg_el1(val | TCR_EPD1_MASK | TCR_EPD0_MASK, SYS_TCR);
88 val = read_sysreg_el1(SYS_SCTLR);
89 write_sysreg_el1(val | SCTLR_ELx_M, SYS_SCTLR);