Searched refs:ddc_el0 (Results 1 – 3 of 3) sorted by relevance
448 mrs c24, ddc_el0451 msr ddc_el0, c26549 msr ddc_el0, c24
637 ctx->ddc_el0 = read_ddc_el0(); in setup_context_common()
315 ddc_cap_t ddc_el0; member