Searched refs:tcr_el2 (Results 1 – 5 of 5) sorted by relevance
117 tcr_el2); in populate_cpu_err_data()
286 mrs x1, tcr_el2
44 uint64_t tcr_el2; member
1468 write_el2_ctx_common(ctx, tcr_el2, read_tcr_el2()); in el2_sysregs_context_save_common()1503 write_tcr_el2(read_el2_ctx_common(ctx, tcr_el2)); in el2_sysregs_context_restore_common()
516 DEFINE_SYSREG_RW_FUNCS(tcr_el2)