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