Searched refs:dbgvcr32_el2 (Results 1 – 3 of 3) sorted by relevance
27 uint64_t dbgvcr32_el2; member
1454 write_el2_ctx_common(ctx, dbgvcr32_el2, read_dbgvcr32_el2()); in el2_sysregs_context_save_common()1489 write_dbgvcr32_el2(read_el2_ctx_common(ctx, dbgvcr32_el2)); in el2_sysregs_context_restore_common()
569 DEFINE_SYSREG_RW_FUNCS(dbgvcr32_el2)