Searched refs:ttbr1_el1 (Results 1 – 5 of 5) 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()
1766 write_el1_ctx_common_sysreg128(ctx, ttbr1_el1, read_ttbr1_el1()); in el1_sysregs_context_save()1861 write_ttbr1_el1(read_el1_ctx_common(ctx, ttbr1_el1)); in el1_sysregs_context_restore()
1303 ttbr1_el1 = 0x0000000000000000