Searched refs:vtcr_el2 (Results 1 – 4 of 4) sorted by relevance
123 vtcr_el2); in populate_cpu_err_data()
49 uint64_t vtcr_el2; member
1473 write_el2_ctx_common(ctx, vtcr_el2, read_vtcr_el2()); in el2_sysregs_context_save_common()1509 write_vtcr_el2(read_el2_ctx_common(ctx, vtcr_el2)); in el2_sysregs_context_restore_common()
541 DEFINE_SYSREG_RW_FUNCS(vtcr_el2)