Home
last modified time | relevance | path

Searched refs:tgt_cve_2018_3639 (Results 1 – 1 of 1) sorted by relevance

/external/arm-trusted-firmware/services/std_svc/sdei/
Dsdei_intr_mgmt.c196 cve_2018_3639_t *tgt_cve_2018_3639; in restore_event_ctx() local
197 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()
200 write_ctx_reg(tgt_cve_2018_3639, CTX_CVE_2018_3639_DISABLE, in restore_event_ctx()
270 cve_2018_3639_t *tgt_cve_2018_3639; in setup_ns_dispatch() local
271 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(ctx); in setup_ns_dispatch()
274 disp_ctx->disable_cve_2018_3639 = read_ctx_reg(tgt_cve_2018_3639, in setup_ns_dispatch()
278 write_ctx_reg(tgt_cve_2018_3639, CTX_CVE_2018_3639_DISABLE, 0); in setup_ns_dispatch()