ui_menu_get_idev_id 612 uspace/app/taskbar/tbsmenu.c idev_id = ui_menu_get_idev_id(entry->tbsmenu->smenu); ui_menu_get_idev_id 61 uspace/lib/ui/include/ui/menu.h extern sysarg_t ui_menu_get_idev_id(ui_menu_t *);