Searched refs:vmpidr_el2 (Results 1 – 3 of 3) sorted by relevance
47 uint64_t vmpidr_el2; member
1527 write_el2_ctx_common(ctx, vmpidr_el2, read_vmpidr_el2()); in el2_sysregs_context_save_common()1563 write_vmpidr_el2(read_el2_ctx_common(ctx, vmpidr_el2)); in el2_sysregs_context_restore_common()
565 DEFINE_SYSREG_RW_FUNCS(vmpidr_el2)