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