Searched refs:ttbr1_el1 (Results 1 – 6 of 6) sorted by relevance
93 ttbr1_el1); in populate_cpu_err_data()
48 sysreg_t ttbr1_el1; member
285 DECLARE_SYSREG128_RW_FUNCS(ttbr1_el1) in DECLARE_SYSREG128_RW_FUNCS()298 DEFINE_SYSREG_RW_FUNCS(ttbr1_el1) in DECLARE_SYSREG128_RW_FUNCS()
207 type5SysRegValues->TTBR1_EL1 = read_el1_ctx_common(el1, ttbr1_el1); in fill_ns_context_blocks()
1815 write_el1_ctx_common_sysreg128(ctx, ttbr1_el1, read_ttbr1_el1()); in el1_sysregs_context_save()1910 write_ttbr1_el1(read_el1_ctx_common(ctx, ttbr1_el1)); in el1_sysregs_context_restore()
1303 ttbr1_el1 = 0x0000000000000000