intmap_elem_get_key 39 uspace/app/sbi/src/intmap.h int intmap_elem_get_key(map_elem_t *elem); intmap_elem_get_key 1411 uspace/app/sbi/src/run.c key = intmap_elem_get_key(elem);