Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/services/std_svc/sdei/
Dsdei_event.c26 unsigned int base_idx; in get_event_entry() local
38 base_idx = plat_my_core_pos() * ((unsigned int) mapping->num_maps); in get_event_entry()
39 cpu_priv_base = &sdei_private_event_table[base_idx]; in get_event_entry()