Home
last modified time | relevance | path

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

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c199 cve_2018_3639_t *tgt_cve_2018_3639; in restore_event_ctx() local
200 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(tgt_ctx); in restore_event_ctx()
203 write_ctx_reg(tgt_cve_2018_3639, CTX_CVE_2018_3639_DISABLE, in restore_event_ctx()
337 cve_2018_3639_t *tgt_cve_2018_3639; in setup_ns_dispatch() local
338 tgt_cve_2018_3639 = get_cve_2018_3639_ctx(ctx); in setup_ns_dispatch()
341 disp_ctx->disable_cve_2018_3639 = read_ctx_reg(tgt_cve_2018_3639, in setup_ns_dispatch()
345 write_ctx_reg(tgt_cve_2018_3639, CTX_CVE_2018_3639_DISABLE, 0); in setup_ns_dispatch()

Completed in 3 milliseconds