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

/trusted-firmware-a/services/std_svc/sdei/
A D	sdei_intr_mgmt.c	287 u_register_t ssbs_enabled = (read_id_aa64pfr1_el1() in sdei_set_elr_spsr() local 290 if (ssbs_enabled != SSBS_UNAVAILABLE) { in sdei_set_elr_spsr()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023