24 	const sdei_mapping_t *mapping;  in get_event_entry()  local
34 		mapping = SDEI_PRIVATE_MAPPING();  in get_event_entry()
35 		idx = MAP_OFF(map, mapping);  in get_event_entry()
38 		base_idx = plat_my_core_pos() * ((unsigned int) mapping->num_maps);  in get_event_entry()
47 		mapping = SDEI_SHARED_MAPPING();  in get_event_entry()
48 		idx = MAP_OFF(map, mapping);  in get_event_entry()
60 	const sdei_mapping_t *mapping;  in find_event_map_by_intr()  local
69 	mapping = shared ? SDEI_SHARED_MAPPING() : SDEI_PRIVATE_MAPPING();  in find_event_map_by_intr()
70 	iterate_mapping(mapping, i, map) {  in find_event_map_by_intr()
84 	const sdei_mapping_t *mapping;  in find_event_map()  local
93 	for_each_mapping_type(i, mapping) {  in find_event_map()
94 		iterate_mapping(mapping, j, map) {  in find_event_map()
108 	const sdei_mapping_t *mapping;  in sdei_get_registered_event_count()  local
115 	for_each_mapping_type(i, mapping) {  in sdei_get_registered_event_count()
116 		iterate_mapping(mapping, j, map) {  in sdei_get_registered_event_count()