Searched refs:tpidr_el0 (Results 1 – 5 of 5) sorted by relevance
85 tpidr_el0); in populate_cpu_err_data()
37 uint64_t tpidr_el0; member
1754 write_el1_ctx_common(ctx, tpidr_el0, read_tpidr_el0()); in el1_sysregs_context_save()1866 write_tpidr_el0(read_el1_ctx_common(ctx, tpidr_el0)); in el1_sysregs_context_restore()
556 DEFINE_SYSREG_RW_FUNCS(tpidr_el0)
1308 tpidr_el0 = 0x0000000000000000