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()
105 	const sdei_mapping_t *mapping;  in find_event_map_by_intr()  local
114 	mapping = shared ? SDEI_SHARED_MAPPING() : SDEI_PRIVATE_MAPPING();  in find_event_map_by_intr()
115 	iterate_mapping(mapping, i, map) {  in find_event_map_by_intr()
129 	const sdei_mapping_t *mapping;  in find_event_map()  local
138 	for_each_mapping_type(i, mapping) {  in find_event_map()
139 		iterate_mapping(mapping, j, map) {  in find_event_map()
153 	const sdei_mapping_t *mapping;  in sdei_get_registered_event_count()  local
160 	for_each_mapping_type(i, mapping) {  in sdei_get_registered_event_count()
161 		iterate_mapping(mapping, j, map) {  in sdei_get_registered_event_count()