Searched refs:dacr32_el2 (Results 1 – 5 of 5) sorted by relevance
56 uint64_t dacr32_el2; member
461 mrs x8, dacr32_el2
1774 write_el1_ctx_aarch32(ctx, dacr32_el2, read_dacr32_el2()); in el1_sysregs_context_save()1883 write_dacr32_el2(read_el1_ctx_aarch32(ctx, dacr32_el2)); in el1_sysregs_context_restore()
588 DEFINE_SYSREG_RW_FUNCS(dacr32_el2)
1323 dacr32_el2 = 0x0000000000000000