Searched refs:tcr_el2 (Results 1 – 4 of 4) sorted by relevance
117 tcr_el2); in populate_cpu_err_data()
44 uint64_t tcr_el2; member
1505 write_el2_ctx_common(ctx, tcr_el2, read_tcr_el2()); in el2_sysregs_context_save_common()1540 write_tcr_el2(read_el2_ctx_common(ctx, tcr_el2)); in el2_sysregs_context_restore_common()
516 DEFINE_SYSREG_RW_FUNCS(tcr_el2)