Searched defs:el2_ctx (Results 1 – 1 of 1) sorted by relevance
130 el2_sysregs_t *el2_ctx = get_el2_sysregs_ctx(ctx); in setup_el2_context() local246 el2_sysregs_t *el2_ctx; in setup_realm_context() local