Searched refs:vbar_el2 (Results 1 – 3 of 3) sorted by relevance
46 uint64_t vbar_el2; member
1470 write_el2_ctx_common(ctx, vbar_el2, read_vbar_el2()); in el2_sysregs_context_save_common()1506 write_vbar_el2(read_el2_ctx_common(ctx, vbar_el2)); in el2_sysregs_context_restore_common()
472 DEFINE_SYSREG_RW_FUNCS(vbar_el2)