Searched refs:vttbr_el2 (Results 1 – 4 of 4) sorted by relevance
125 vttbr_el2); in populate_cpu_err_data()
289 DECLARE_SYSREG128_RW_FUNCS(vttbr_el2) in DECLARE_SYSREG128_RW_FUNCS()302 DEFINE_SYSREG_RW_FUNCS(vttbr_el2) in DECLARE_SYSREG128_RW_FUNCS()
50 sysreg_t vttbr_el2; member
1476 write_el2_ctx_common_sysreg128(ctx, vttbr_el2, read_vttbr_el2()); in el2_sysregs_context_save_common()1510 write_vttbr_el2(read_el2_ctx_common(ctx, vttbr_el2)); in el2_sysregs_context_restore_common()