Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/services/std_svc/sdei/
Dsdei_main.c911 static int sdei_signal(int ev_num, uint64_t target_pe) in sdei_signal() argument
929 if (plat_core_pos_by_mpidr(target_pe) < 0) in sdei_signal()
933 plat_ic_raise_el3_sgi((int) map->intr, (u_register_t) target_pe); in sdei_signal()