Searched refs:read_ddc_el0 (Results 1 – 1 of 1) sorted by relevance
382 static inline ddc_cap_t read_ddc_el0 (void) in read_ddc_el0() function637 ctx->ddc_el0 = read_ddc_el0(); in setup_context_common()