Searched refs:icc_sre_el2_val (Results 1 – 1 of 1) sorted by relevance
414 u_register_t icc_sre_el2_val = ICC_SRE_DIB_BIT | ICC_SRE_DFB_BIT | in setup_context_common() local416 write_el2_ctx_common(el2_ctx, icc_sre_el2, icc_sre_el2_val); in setup_context_common()