Searched refs:vpidr_el2 (Results 1 – 3 of 3) sorted by relevance
48 uint64_t vpidr_el2; member
1472 write_el2_ctx_common(ctx, vpidr_el2, read_vpidr_el2()); in el2_sysregs_context_save_common()1508 write_vpidr_el2(read_el2_ctx_common(ctx, vpidr_el2)); in el2_sysregs_context_restore_common()
563 DEFINE_SYSREG_RW_FUNCS(vpidr_el2)