Searched refs:afsr1_el1 (Results 1 – 4 of 4) sorted by relevance
41 uint64_t afsr1_el1; member
1758 write_el1_ctx_common(ctx, afsr1_el1, read_afsr1_el1()); in el1_sysregs_context_save()1871 write_afsr1_el1(read_el1_ctx_common(ctx, afsr1_el1)); in el1_sysregs_context_restore()
491 DEFINE_SYSREG_RW_FUNCS(afsr1_el1)
1313 afsr1_el1 = 0x0000000000000000