Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/kernel/
H A Dthread_private_arch.h119 void thread_excp_vect_wa_spectre_bhb(void);
/optee_os/core/arch/arm/kernel/
H A Dthread_a64.S522 .global thread_excp_vect_wa_spectre_bhb symbol
523 thread_excp_vect_wa_spectre_bhb: label
H A Dthread.c676 return (vaddr_t)thread_excp_vect_wa_spectre_bhb; in select_vector_wa_spectre_bhb()