intmap_elem_get_value 40 uspace/app/sbi/src/intmap.h void *intmap_elem_get_value(map_elem_t *elem); intmap_elem_get_value 1407 uspace/app/sbi/src/run.c var = intmap_elem_get_value(elem);