panel_ctl_destroy 49 uspace/app/nav/panel.c static void panel_ctl_destroy(void *); panel_ctl_destroy 56 uspace/app/nav/panel.c .destroy = panel_ctl_destroy,