taskbar_clock_ctl_destroy 49 uspace/app/taskbar/clock.c static void taskbar_clock_ctl_destroy(void *); taskbar_clock_ctl_destroy 57 uspace/app/taskbar/clock.c .destroy = taskbar_clock_ctl_destroy,